Backtracking, interleaving, and terminating monad transformers: (functional pearl).

Oleg Kiselyov Chung-chieh Shan Daniel P. Friedman Amr Sabry

Published in: ICFP (2005)

Keyphrases

constraint satisfaction
functional analysis
dependency directed backtracking
database
search space
constraint propagation
real time
real world
information systems
clustering algorithm
search algorithm
medical images
conditional independence