Using CSP To Improve Deterministic 3-SAT

Konstantin Kutzkov Dominik Scheder

Published in: CoRR (2010)

Keyphrases

constraint satisfaction problems
sat problem
data sets
learning algorithm
objective function
satisfiability problem
boolean functions
constraint propagation
constraint solving