Satisfiability of Boolean Formulas over Linear Constraints.

Henri Beringer Bruno De Backer

Published in: IJCAI (1993)

Keyphrases

boolean formula
linear constraints
conjunctive normal form
linearly constrained
boolean satisfiability
convex sets
orders of magnitude
learning algorithm
optimal solution
evolutionary algorithm
xml documents
dynamic programming
supervised learning