• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
Panini: An Efficient and Flexible Knowledge Compiler.
Yong Lai, Kuldeep S. Meel and Roland H. C. Yap.
In Proceedings of International Conference on Computer-Aided Verification (CAV), pp. 92–105, July 2025.
(unavailable)
@inproceedings{LaiMY25CAV,
title={Panini: An Efficient and Flexible Knowledge Compiler},
author={Lai, Yong and Meel, Kuldeep S. and Yap, Roland H. C.},
booktitle=CAV,
pages={92--105},
year={2025},
month=jul,
bib2html_rescat={Counting, Knowledge Compilation},
bib2html_pubtype={Refereed Conference},
bib2html_dl_pdf={https://arxiv.org/pdf/2202.10025},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Mon Dec 01, 2025 18:50:36