On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae.

Hlne Fargier, Pierre Marquis

Browse the full AAAI paper archive.