DPLL with a Trace: From SAT to Knowledge Compilation.

Jinbo Huang, Adnan Darwiche

Browse the full IJCAI paper archive.