A Constraint Solver Based on Abstract Domains.
Marie PelleauAntoine MinéCharlotte TruchetFrédéric BenhamouPublished in: VMCAI (2013)
Keyphrases
- expert systems
- constraint solver
- constraint solving
- constraint programming
- constraint propagation
- constraint satisfaction
- constraint satisfaction problems
- linear constraints
- fuzzy logic
- arc consistency algorithm
- constraint logic programming
- neural network
- high level
- finite domain
- information retrieval systems
- sat solvers