Login / Signup

A Symbolic Model for Timed Concurrent Constraint Programming.

Jaime AriasMichell GuzmánCarlos Olarte
Published in: LSFA (2014)
Keyphrases
  • constraint programming
  • integer programming
  • constraint propagation
  • search algorithm
  • search space