Login / Signup
Nested Boolean Functions as Models for Quantified Boolean Formulas.
Uwe Bubeck
Hans Kleine Büning
Published in:
SAT (2013)
Keyphrases
</>
boolean functions
quantified boolean formulas
uniform distribution
search space
functional properties