A Compiler for Deterministic, Decomposable Negation Normal Form

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/aaai/Darwiche02, title={A Compiler for Deterministic, Decomposable Negation Normal Form}, pages={627-634}, year={2002}, booktitle={AAAI/IAAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2002.html#Darwiche02}, author={Adnan Darwiche} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/A_Compiler_for_Deterministic%2C_Decomposable_Negation_Normal_Form"
Personal tools