Density Condensation of Boolean Formulas.

Youichi Hanatani Takashi Horiyama Kazuo Iwama

Published in: SAT (2003)

Keyphrases

boolean formula
sat solvers
np complete
linear constraints
practical problems
conjunctive normal form
unsatisfiable cores
optimization problems
membership queries
search algorithm
boolean functions
boolean variables