Calculating a backtracking algorithm: an exercise in monadic program derivation.

Published in: CoRR (2021)

Keyphrases

backtracking algorithm
constraint networks
search tree
constraint satisfaction problems
mobile robot
datalog programs
constraint graph