Tiling with Bars and Satisfaction of Boolean Formulas.

Published in: Eur. J. Comb. (1996)

Keyphrases

boolean formula
sat solvers
np complete
practical problems
unsatisfiable cores
conjunctive normal form
linear constraints
boolean variables
membership queries
sat problem
satisfiability problem
evolutionary algorithm
special case
boolean functions
randomly generated
equivalence queries