Author:Subhajit Roy

Publications
Proof-Guided Underapproximation Widening for Bounded Model Checking Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal and Subhajit Roy EasyChair Preprint 8344
Parse Condition: Symbolic Encoding of LL(1) Parsing Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala and Subhajit Roy In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Knowledge Compilation meets Uniform Sampling Shubham Sharma, Rahul Gupta, Subhajit Roy and Kuldeep S. Meel In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning