Modular Constraint Solver Cooperation via Abstract Interpretation.

Pierre Talbot Éric Monfroy Charlotte Truchet

Published 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