Yong Lai 0001, Kuldeep S. Meel, Roland H. C. Yap. Panini: An Efficient and Flexible Knowledge Compiler. In Ruzica Piskac, Zvonimir Rakamaric, editors, Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III. Volume 15933 of Lecture Notes in Computer Science, pages 92-105, Springer, 2025. [doi]
Abstract is missing.