Login / Signup

Generalized Symmetry Breaking Tasks and Nondeterminism in Concurrent Objects.

Armando CastañedaDamien ImbsSergio RajsbaumMichel Raynal
Published in: SIAM J. Comput. (2016)
Keyphrases
  • symmetry breaking
  • constraint programming
  • global constraints
  • search tree
  • optimization algorithm
  • constraint satisfaction
  • integer linear programming
  • boolean satisfiability