Login / Signup

Concurrent Cooperating Solvers over Reals.

Michel RueherChristine Solnon
Published in: Reliab. Comput. (1997)
Keyphrases
  • dynamically created
  • cooperative
  • sat solvers
  • constraint databases
  • mutual exclusion
  • sat solving
  • genetic algorithm
  • hierarchical reinforcement learning
  • concurrent programs
  • database
  • global constraints