Hélène Fargier Pierre Marquis On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae. 2006 conf/aaai/2006 AAAI db/conf/aaai/aaai2006.html#FargierM06