Certifying Top-Down Decision-DNNF Compilers.

Florent Capelli, Jean-Marie Lagniez, Pierre Marquis

Browse the full AAAI paper archive.