Preliminary Formalization of an Incremental Hierarchical Constraint Solver.
Francisco MenezesPedro BarahonaPublished in: EPIA (1993)
Keyphrases
- constraint solver
- constraint solving
- constraint propagation
- constraint programming
- linear constraints
- arc consistency algorithm
- constraint satisfaction problems
- constraint satisfaction
- artificial intelligence
- real numbers
- genetic algorithm
- constraint solvers
- expert systems
- information retrieval
- combinatorial problems
- sat solvers
- knowledge representation
- path consistency
- pattern recognition
- data structure