Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight.

Nadia Creignou Frédéric Olive Johannes Schmidt

Published in: SAT (2011)

Keyphrases

constraint satisfaction problems
constraint satisfaction
benchmark problems
solving constraint satisfaction problems
constraint programming
solution space
databases
neural network
optimization problems
linear programming
metaheuristic
tabu search
constraint propagation
practical solutions