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