On Compiling CNFs into Structured Deterministic DNNFs

Simone Bova and Florent Capelli and Stefan Mengel and Friedrich Slivovsky
January 2015
PDF Cite
Type
Conference Paper