Constraint Satisfaction in Functional Programming.

François Major Marcel Turcotte Guy Lapalme

Published 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