Bova, Simone: On Compiling Structured CNFs to OBDDs. . In: Theory of computing systems, S.119
Inhalt