A Curiously Effective Backtracking Strategy for Connection Tableaux.

Michael Färber

Published in: AReCCa@TABLEAUX (2023)

Keyphrases

neural network
machine learning
search engine
similarity measure
search algorithm
search space
cost effective
selection strategy
databases
data mining
evolutionary algorithm
constraint satisfaction
search strategies