A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.

Nick Moffat Michael Goldsmith Bill Roscoe

Published in: ICFEM (2008)

Keyphrases

constraint satisfaction problems
constraint satisfaction
case study
real time
genetic algorithm
search algorithm
dynamic programming
constraint propagation
piecewise linear
constraint solving
tree decomposition
perspective images