HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

Keyphrases

Bounded Model Checking, Constrained Uniform Sampling, constraint solving, d-DNNF, knowledge compilation, LL(1) parsing, SAT solving, SMT encoding, software verification, Underapproximation widening.

Copyright © 2012-2023 easychair.org. All rights reserved.