Panini: An Efficient and Flexible Knowledge Compiler.

Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

Browse the full CAV paper archive.