Login / Signup
Complexity and Probability of Some Boolean Formulas.
Petr Savický
Published in:
Comb. Probab. Comput. (1998)
Keyphrases
</>
boolean formula
sat solvers
np complete
practical problems
linear constraints
membership queries
sat problem
probability distribution
equivalence queries