Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation.

Adnan Darwiche

Browse the full CADE paper archive.