The Minimization Problem for Boolean Formulas.

Edith Hemaspaandra Gerd Wechsung

Published in: SIAM J. Comput. (2002)

Keyphrases

boolean formula
sat solvers
practical problems
objective function
conjunctive normal form
unsatisfiable cores
np complete
linear constraints
membership queries
boolean variables
max sat
reinforcement learning
search space
heuristic search