Arijit Shaw

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 8

Top Topics

Selection Strategies

Top Venues

Publications

Arijit Shaw, Kuldeep S. Meel
CSB: A Counting and Sampling Tool for Bit-vectors. SMT@CAV (2024)
Arijit Shaw, Brendan Juba, Kuldeep S. Meel
An Approximate Skolem Function Counter. AAAI (2024)
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
Explaining SAT Solving Using Causal Reasoning. SAT (2023)
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
Explaining SAT Solving Using Causal Reasoning. CoRR (2023)
Arijit Shaw, Brendan Juba, Kuldeep S. Meel
An Approximate Skolem Function Counter. CoRR (2023)
Arijit Shaw, Kuldeep S. Meel
Designing New Phase Selection Heuristics. SAT (2020)
Arijit Shaw, Kuldeep S. Meel
Designing New Phase Selection Heuristics. CoRR (2020)
Sanjay Moulik, Rajesh Devaraj, Arnab Sarkar, Arijit Shaw
A Deadline-Partition Oriented Heterogeneous Multi-Core Scheduler for Periodic Tasks. PDCAT (2017)