Modular Constraint Solver Cooperation via Abstract Interpretation.
Pierre TalbotÉric MonfroyCharlotte TruchetPublished in: Theory Pract. Log. Program. (2020)
Keyphrases
- constraint solver
- abstract interpretation
- termination analysis
- constraint solving
- static analysis
- constraint propagation
- linear constraints
- constraint programming
- constraint satisfaction problems
- model checking
- constraint satisfaction
- active rules
- active databases
- real numbers
- dynamic analysis
- constraint logic programming
- reasoning engine
- sat solvers
- multi agent systems
- high level
- pattern matching
- path consistency
- source code
- computational complexity