Zhengyang Lu 0002, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh 0001. Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract). In Toby Walsh, Julie Shah, Zico Kolter, editors, AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA. pages 29426-29427, AAAI Press, 2025. [doi]
Abstract is missing.