Constraint Satisfaction in Functional Programming.
François MajorMarcel TurcotteGuy LapalmePublished in: PPCP (1993)
Keyphrases
- constraint satisfaction
- functional programming
- constraint satisfaction problems
- execution model
- functional language
- programming language
- object oriented programming
- constraint propagation
- heuristic search
- russian doll search
- constraint programming
- sat solvers
- constraint relaxation
- artificial intelligence
- soft constraints
- constraint networks
- transaction management
- constraint solving
- general purpose
- search algorithm
- optimal solution