Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Two Encodings of DNNF Theories
July 2008
JBKW08
The paper presents two new compilation schemes of Decomposable Negation Normal Form (DNNF) theories into Conjunctive Normal Form (CNF) and Linear Integer Programming (MIP), respectively. We prove that the encodings have useful properties such as unit propagation on the CNF formula achieves domain consistency on the DNNF theory. The approach is evaluated empirically on random as well as real-world CSP-problems.
In proceedings
Jean Christoph Jung, Pedro Barahona, George Katsirelos, TobyWalsh
ECAI'08 Workshop on Inference methods based on Graphical Structures of Knowledge
-
-
-
-
-
-
-
-
http://centria.di.fct.unl.pt/~pb/papers/ecai2008.pdf
Export formats
Jean Christoph Jung and Pedro Barahona and George Katsirelos and TobyWalsh, Two Encodings of DNNF Theories, , ECAI'08 Workshop on Inference methods based on Graphical Structures of Knowledge, (http://centria.di.fct.unl.pt/~pb/papers/ecai2008.pdf), July 2008.
Jean Christoph Jung, <a href="/people/members/view.php?code=7e27bc13fad97e99cd21ea6914d55659" class="author">Pedro Barahona</a>, George Katsirelos and TobyWalsh, <b>Two Encodings of DNNF Theories</b>, <u>ECAI'08 Workshop on Inference methods based on Graphical Structures of Knowledge</u>, (<a href="http://centria.di.fct.unl.pt/~pb/papers/ecai2008.pdf" target="_blank">url</a>), July 2008.
@inproceedings {JBKW08, author = {Jean Christoph Jung and Pedro Barahona and George Katsirelos and TobyWalsh}, title = {Two Encodings of DNNF Theories}, booktitle = {ECAI'08 Workshop on Inference methods based on Graphical Structures of Knowledge}, url = {http://centria.di.fct.unl.pt/~pb/papers/ecai2008.pdf}, abstract = {The paper presents two new compilation schemes of Decomposable Negation Normal Form (DNNF) theories into Conjunctive Normal Form (CNF) and Linear Integer Programming (MIP), respectively. We prove that the encodings have useful properties such as unit propagation on the CNF formula achieves domain consistency on the DNNF theory. The approach is evaluated empirically on random as well as real-world CSP-problems.}, month = {July}, year = {2008}, }
Publication's urls
/publications/view.php?code=a1059c9165d4cc054599bab5f555386e
/publications/view.php?code=JBKW08
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT