Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP.

Federico Heras Javier Larrosa

Published in: J. Heuristics (2006)

Keyphrases

sat solvers
genetic algorithm
case study
objective function
evolutionary algorithm
special case
probability distribution
intelligent systems
constraint satisfaction problems
metaheuristic
constraint satisfaction
satisfiability problem