Arijit Shaw
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DAC | Approximate SMT Counting Beyond Discrete Domains. | Arijit Shaw, Kuldeep S. Meel |
| 2025 | KR | Efficient Volume Computation for SMT Formulas. | Arijit Shaw |
| 2025 | KR | Efficient Volume Computation for SMT Formulas. | Arijit Shaw, Uddalok Sarkar, Kuldeep S. Meel |
| 2024 | AAAI | An Approximate Skolem Function Counter. | Arijit Shaw, Brendan Juba, Kuldeep S. Meel |
| 2024 | KR | Model Counting in the Wild. | Arijit Shaw, Kuldeep S. Meel |
| 2023 | SAT | Explaining SAT Solving Using Causal Reasoning. | Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel |
| 2020 | SAT | Designing New Phase Selection Heuristics. | Arijit Shaw, Kuldeep S. Meel |
| 2017 | PDCAT | A Deadline-Partition Oriented Heterogeneous Multi-Core Scheduler for Periodic Tasks. | Sanjay Moulik, Rajesh Devaraj, Arnab Sarkar, Arijit Shaw |