C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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