Using Propagation for Solving Complex Arithmetic Constraints

Maarten H. van Emden Belaid Moa

Published in: CoRR (2003)

Keyphrases

solving complex
arithmetic constraints
problems involving
constraint satisfaction problems
arc consistency
relational calculus
multiple attributes
constraint satisfaction
decision making
evolutionary algorithm
heuristic search
normal form
evolutionary strategy