Boolean Formulas.

Arturo Hernández Aguirre Bill P. Buckles Carlos A. Coello Coello

Published in: Evolvable Hardware (2001)

Keyphrases

boolean formula
sat solvers
np complete
practical problems
conjunctive normal form
linear constraints
boolean variables
membership queries
binary decision diagrams
max sat
unsatisfiable cores
equivalence queries
boolean functions
sat problem
data structure
special case
learning algorithm