Coevolutionary genetic algorithm for variable ordering in CSPs.
Muhammad Rezaul KarimMalek MouhoubPublished in: IEEE Congress on Evolutionary Computation (2014)
Keyphrases
- variable ordering
- forward checking
- genetic algorithm
- constraint satisfaction problems
- branch and bound algorithm
- conflict directed
- arc consistency
- constraint satisfaction
- max sat
- multi objective
- constraint propagation
- np hard
- neural network
- sat problem
- simulated annealing
- tabu search
- particle swarm optimization
- linear programming
- optimal solution
- evolutionary algorithm
- search space
- search tree
- np complete
- non binary
- propositional satisfiability
- symmetry breaking
- lower bound
- knowledge representation