Knowledge Compilation Properties of Trees-of-BDDs, Revisited.

Hlne Fargier, Pierre Marquis

Browse the full IJCAI paper archive.