Lightweight Detection of Variable Symmetries for Constraint Satisfaction.
Christophe LecoutreSébastien TabaryPublished in: ICTAI (2009)
Keyphrases
- lightweight
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- relaxation labeling
- constraint relaxation
- constraint programming
- phase transition
- russian doll search
- constraint propagation
- soft constraints
- constraint networks
- symmetry breaking constraints
- dos attacks
- sat solvers
- wireless sensor networks
- rfid tags
- combinatorial problems
- constraint solving
- development environments
- communication infrastructure
- lower bound
- randomly generated
- constrained problems
- simulated annealing
- max csp
- search space