Deriving backtracking monad transformers.

Published in: ICFP (2000)

Keyphrases

constraint satisfaction
search algorithm
dependency directed backtracking
management system
constraint propagation
data sets
information retrieval
similarity measure
expert systems
partial discharge