Login / Signup
Amplification of Probabilistic Boolean Formulas.
Ravi B. Boppana
Published in:
Adv. Comput. Res. (1989)
Keyphrases
</>
boolean formula
probabilistic model
sat solvers
linear constraints