Login / Signup
On Compiling Structured CNFs to OBDDs.
Simone Bova
Friedrich Slivovsky
Published in:
Theory Comput. Syst. (2017)
Keyphrases
</>
boolean functions
real world
uniform distribution
structured data
model checking