Detail

Publication date: 01/07/2008

Two Encodings of DNNF Theories

Authors

Jean Christoph Jung, Pedro Barahona, George Katsirelos, TobyWalsh,

URL http://centria.di.fct.unl.pt/~pb/papers/ecai2008.pdf
Publisher Universitat Politècnica de Catalunya
URL http://centria.di.fct.unl.pt/~pb/papers/ecai2008.pdf
Publisher Universitat Politècnica de Catalunya