Density condensation of Boolean formulas.

Youichi Hanatani Takashi Horiyama Kazuo Iwama

Published in: Discret. Appl. Math. (2006)

Keyphrases

boolean formula
sat solvers
practical problems
conjunctive normal form
np complete
linear constraints
unsatisfiable cores
membership queries
state space
boolean functions