The Minimization Problem for Boolean Formulas.

Edith Hemaspaandra Gerd Wechsung

Published in: FOCS (1997)

Keyphrases

boolean formula
sat solvers
objective function
np complete
practical problems
unsatisfiable cores
membership queries
conjunctive normal form
linear constraints
boolean variables
genetic algorithm
learning algorithm