Eilenberg-Moore Monoids and Backtracking Monad Transformers.

Published in: MSFP (2016)

Keyphrases

constraint satisfaction
search algorithm
dependency directed backtracking
constraint propagation
search space
tree search
artificial intelligence
image processing
special case
constraint satisfaction problems
autoepistemic logic
backtracking algorithm