On Compiling CNFs into Structured Deterministic DNNFs

Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing -- SAT 2015 ◽

10.1007/978-3-319-24318-4_15 ◽

2015 ◽

pp. 199-214 ◽

Cited By ~ 5

Author(s):

Simone Bova ◽

Florent Capelli ◽

Stefan Mengel ◽

Friedrich Slivovsky

Download Full-text