A Curiously Effective Backtracking Strategy for Connection Tableaux.

Michael Färber

Published in: CoRR (2021)

Keyphrases

high quality
search space
search engine
computational complexity
cost effective
functional dependencies
decision procedures
database
machine learning
case study
reinforcement learning