Login / Signup

Nested Boolean Functions as Models for Quantified Boolean Formulas.

Uwe BubeckHans Kleine Büning
Published in: SAT (2013)
Keyphrases
  • boolean functions
  • quantified boolean formulas
  • uniform distribution
  • search space
  • functional properties