A Note on Satisfying Truth-Value Assignments of Boolean Formulas.

Zbigniew Stachniak

Published in: SAT (2004)

Keyphrases

boolean formula
sat solvers
np complete
practical problems
linear constraints
unsatisfiable cores
membership queries
conjunctive normal form
boolean variables
machine learning
sat problem
max sat
equivalence queries
evolutionary algorithm
constraint satisfaction
truth values