Login / Signup
Concurrent Cooperating Solvers over Reals.
Michel Rueher
Christine 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