Symmetry Breaking in the Plane: Rendezvous by Robots with Unknown Attributes.

Jurek Czyzowicz Leszek Gasieniec Ryan Killick Evangelos Kranakis

Published in: PODC (2019)

Keyphrases

symmetry breaking
constraint programming
global constraints
integer linear programming
boolean satisfiability
constraint satisfaction problems
search tree
quantified boolean formulae
boolean optimization
data structure
sat solvers
graph coloring
reinforcement learning
search algorithm
simulated annealing