A Full First-Order Constraint Solver for Decomposable Theories.
Khalil DjelloulPublished in: AISC/MKM/Calculemus (2008)
Keyphrases
- constraint solver
- theory revision
- real numbers
- constraint solving
- constraint propagation
- constraint programming
- linear constraints
- constraint satisfaction problems
- action theories
- constraint satisfaction
- first order logic
- np complete
- knowledge base
- logical theories
- arc consistency algorithm
- constraint solvers
- sat solvers
- search strategies
- constraint logic programming
- situation calculus
- optimal solution
- artificial intelligence
- arc consistency
- neural network
- programming language
- upper bound
- evolutionary algorithm
- pattern recognition
- data structure