Non-Uniform Time Sharing in Concurrent Execution of the Constraint Solving.
Richard KrajcoviechMargaréta KotocováPublished in: Artif. Intell. (1999)
Keyphrases
- constraint solving
- concurrent execution
- constraint logic programming
- constraint propagation
- constraint solver
- constraint satisfaction
- constraint satisfaction problems
- constraint programming
- concurrency control
- parallel execution
- data sharing
- databases
- database
- np complete
- temporal constraints
- distributed systems
- response time
- query processing
- data structure