On Unit-Refutation Complete Formulae with Existentially Quantified Variables
You are here
| Title | On Unit-Refutation Complete Formulae with Existentially Quantified Variables |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Bordeaux L., Janota M, Marques-Silva J, Marquis P. |
| Conference Name | 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012) |
| Date Published | 2012 |
| Conference Location | Rome, Italy |
| URL | http://logos.ucd.ie/wiki/lib/exe/fetch.php?media=papers:bjmsm-kr12.pdf |
