SoleX: A Domain-Independent Scheme for Constraint Solver Extension.
Éric MonfroyChristophe RingeissenPublished in: AISC (1998)
Keyphrases
- domain independent
- constraint solver
- domain specific
- constraint solving
- domain specific knowledge
- planning problems
- constraint propagation
- linear constraints
- domain dependent
- control knowledge
- constraint programming
- natural language interface to databases
- arc consistency algorithm
- constraint logic programming
- constraint satisfaction problems
- general purpose
- state space search
- special case
- ontology population
- genetic algorithm