Login / Signup

Agent Rendezvous: A Dynamic Symmetry-Breaking Problem.

Xiangdong YuMoti Yung
Published in: ICALP (1996)
Keyphrases
  • symmetry breaking
  • global constraints
  • graph coloring
  • search algorithm
  • constraint programming
  • knowledge representation
  • np complete
  • quantified boolean formulae