Portability and Explainability of Synthesized Formula-based Heuristics.

Vadim Bulitko Shuwei Wang Justin Stevens Levi H. S. Lelis

Published in: SOCS (2022)

Keyphrases

search algorithm
heuristic search
search strategies
search methods
heuristic rules
greedy heuristics
decision trees
lower bound
np hard
constraint satisfaction
heuristic methods
heuristic function