Symmetry Breaking in Asynchronous Rings with O(n) Messages.
Paul G. SpirakisBasil TampakasAthanasios TsiolisPublished in: WDAG (1989)
Keyphrases
- job shop scheduling problem
- symmetry breaking
- online discussion
- constraint programming
- discussion forums
- simulated annealing
- search tree
- global constraints
- quantified boolean formulae
- constraint satisfaction problems
- boolean satisfiability
- integer linear programming
- graph coloring
- symmetry breaking constraints
- sat solvers
- combinatorial problems
- constraint propagation
- search space