Login / Signup
Focal Discrepancy Search for Learned Heuristics (Extended Abstract).
Matias Greco
Pablo Araneda
Jorge A. Baier
Published in:
SOCS (2022)
Keyphrases
</>
extended abstract
search algorithm
search space
search strategies
search strategy
search methods
tree search
iterative deepening
search efficiency
data sets
search procedure
pattern databases
automatically acquiring
search queries
heuristic function