On Compiling CNFs into Structured Deterministic DNNFs.

Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky

Browse the full SAT paper archive.