Login / Signup

On Compiling Structured CNFs to OBDDs.

Simone BovaFriedrich Slivovsky
Published in: Theory Comput. Syst. (2017)
Keyphrases
  • boolean functions
  • real world
  • uniform distribution
  • structured data
  • model checking