Login / Signup
Satisfiability of 3CNF formulas with small clause/variable-ratio.
Kazuo Iwama
Kazuya Takaki
Published in:
Satisfiability Problem: Theory and Applications (1996)
Keyphrases
</>
cnf formula
np complete
max sat
sat problem
boolean formula
knowledge compilation
conjunctive normal form
davis putnam
satisfiability problem
truth assignment
special case
neural network
search algorithm