New Advances in Compiling CNF into Decomposable Negation Normal Form.

Adnan Darwiche

Browse the full ECAI paper archive.