Arijit Shaw

15 papers A* 4A 2C 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
Approximate SMT Counting Beyond Discrete Domains.
DAC
Arijit Shaw, Kuldeep S. Meel
2025 J jnl
Approximate SMT Counting Beyond Discrete Domains.
CoRR
Arijit Shaw, Kuldeep S. Meel
2025 A* conf
Efficient Volume Computation for SMT Formulas.
KR
Arijit Shaw, Uddalok Sarkar, Kuldeep S. Meel
2025 J jnl
Efficient Volume Computation for SMT Formulas.
CoRR
Arijit Shaw, Uddalok Sarkar, Kuldeep S. Meel
2024 A* conf
An Approximate Skolem Function Counter.
AAAI
Arijit Shaw, Brendan Juba, Kuldeep S. Meel
2024 J jnl
Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171).
Dagstuhl Reports
S. Akshay, Bernd Finkbeiner, Kuldeep S. Meel, Ruzica Piskac, Arijit Shaw
2024 — conf
CSB: A Counting and Sampling Tool for Bit-vectors.
SMT@CAV
Arijit Shaw, Kuldeep S. Meel
2024 A* conf
Model Counting in the Wild.
KR
Arijit Shaw, Kuldeep S. Meel
2024 J jnl
Model Counting in the Wild.
CoRR
Arijit Shaw, Kuldeep S. Meel
2023 J jnl
An Approximate Skolem Function Counter.
CoRR
Arijit Shaw, Brendan Juba, Kuldeep S. Meel
2023 A conf
Explaining SAT Solving Using Causal Reasoning.
SAT
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
2023 J jnl
Explaining SAT Solving Using Causal Reasoning.
CoRR
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
2020 A conf
Designing New Phase Selection Heuristics.
SAT
Arijit Shaw, Kuldeep S. Meel
2020 J jnl
Designing New Phase Selection Heuristics.
CoRR
Arijit Shaw, Kuldeep S. Meel
2017 C conf
A Deadline-Partition Oriented Heterogeneous Multi-Core Scheduler for Periodic Tasks.
PDCAT
Sanjay Moulik, Rajesh Devaraj, Arnab Sarkar, Arijit Shaw