Backtracking with cut via a distributive law and left-zero monoids.

Maciej Piróg Sam Staton

Published in: J. Funct. Program. (2017)

Keyphrases

constraint satisfaction
search algorithm
search tree
case law
dependency directed backtracking
legal reasoning
general theory
databases
neural network
search space
artificial intelligence
decision trees
hidden markov models
mobile robot
proceedings of the th international conference