Minimization for Generalized Boolean Formulas

Edith Hemaspaandra Henning Schnoor

Published in: CoRR (2011)

Keyphrases

boolean formula
boolean variables
sat solvers
linear constraints
objective function
np complete
machine learning
computational complexity
special case
expressive power
horn clauses
conjunctive normal form