Vadim Bulitko, Shuwei Wang, Justin Stevens, Levi H. S. Lelis. Portability and Explainability of Synthesized Formula-based Heuristics. In Lukás Chrpa, Alessandro Saetti, editors, Proceedings of the Fifteenth International Symposium on Combinatorial Search, SOCS 2022, Vienna, Austria, July 21-23, 2022. pages 29-37, AAAI Press, 2022. [doi]
Abstract is missing.