On Compiling Structured CNFs to OBDDs

Simone Bova and Friedrich Slivovsky
January 2015
Cite
Type
Conference Paper