Complexity and Probability of some Boolean Formulas

Published in: Electron. Colloquium Comput. Complex. (1997)

Keyphrases

boolean formula
sat solvers
np complete
practical problems
linear constraints
computational complexity
boolean functions
binary decision diagrams
data structure
constraint satisfaction problems
decision problems
randomly generated
membership queries