A Deadline-Partition Oriented Heterogeneous Multi-Core Scheduler for Periodic Tasks. - Sanjay Moulik; Rajesh Devaraj; Arnab Sarkar 001; Arijit Shaw (PDCAT, 2017)

Designing New Phase Selection Heuristics. - Arijit Shaw; Kuldeep S. Meel (SAT, 2020)

Explaining SAT Solving Using Causal Reasoning. - Jiong Yang 002; Arijit Shaw; Teodora Baluta; Mate Soos; Kuldeep S. Meel (SAT, 2023)

Data for An Approximate Skolem Funcion Counter (AAAI-24 paper). - Arijit Shaw; Kuldeep S. Meel (Zenodo, 2023)

An Approximate Skolem Function Counter. - Arijit Shaw; Brendan Juba; Kuldeep S. Meel (AAAI, 2024)

Model Counting in the Wild. - Arijit Shaw; Kuldeep S. Meel (KR, 2024)

CSB: A Counting and Sampling Tool for Bit-vectors. - Arijit Shaw; Kuldeep S. Meel (SMT@CAV, 2024)

Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171). - S. Akshay 001; Bernd Finkbeiner; Kuldeep S. Meel; Ruzica Piskac; Arijit Shaw (Dagstuhl Reports, 2024)

Data for An Approximate Skolem Funcion Counter (AAAI-24 paper). - Arijit Shaw; Kuldeep S. Meel; Brendan Juba (Zenodo, 2024)

Data for Model Counting in the Wild (KR-24 paper). - Arijit Shaw; Kuldeep S. Meel (Zenodo, 2024)

Approximate SMT Counting Beyond Discrete Domains. - Arijit Shaw; Kuldeep S. Meel (CoRR, 2025)

Efficient Volume Computation for SMT Formulas. - Arijit Shaw; Uddalok Sarkar; Kuldeep S. Meel (CoRR, 2025)