Author:Subhajit Roy

Publications
Proof-Guided Underapproximation Widening for Bounded Model Checking Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal and Subhajit Roy EasyChair Preprint no. 8344
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
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