A Comparison between SAT and CSP Techniques.

Hachemi Bennaceur

Published in: Constraints An Int. J. (2004)

Keyphrases

sat problem
constraint satisfaction problems
genetic algorithm
sat encodings
backtracking search
search algorithm
satisfiability problem
max sat
constraint programming
constraint propagation
propositional satisfiability
stochastic local search algorithms