On Tractability of Disjoint AND-Decomposition of Boolean Formulas.

Pavel G. Emelyanov Denis K. Ponomaryov

Published in: Ershov Memorial Conference (2014)

Keyphrases

boolean formula
np complete
sat solvers
linear constraints
computational complexity
practical problems
membership queries
genetic algorithm
constraint satisfaction
conjunctive normal form
unsatisfiable cores
evolutionary algorithm
lower bound
boolean variables