Tiling with Bars and Satisfaction of Boolean Formulas.

Published in: FCT (1995)

Keyphrases

boolean formula
sat solvers
conjunctive normal form
unsatisfiable cores
practical problems
np complete
linear constraints
membership queries
boolean variables
max sat
boolean functions
binary decision diagrams
search space