Luigi Bonassi, Francesco Percassi, Enrico Scala. BLAST: Bit-Blasting Numbers for Classical Planning (Extended Abstract). In Maxim Likhachev, Hana Rudová, Enrico Scala, editors, Eighteenth International Symposium on Combinatorial Search, SOCS 2025, University of Glasgow, Scotland, United Kingdom, August 12-15, 2025. pages 249-250, AAAI Press, 2025. [doi]
Abstract is missing.