Arijit Shaw

According to our database, Arijit Shaw authored at least 7 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171).

S. Akshay, Bernd Finkbeiner, Kuldeep S. Meel, Ruzica Piskac, Arijit Shaw

Dagstuhl Reports, 2024

Model Counting in the Wild.

Arijit Shaw, Kuldeep S. Meel

CoRR, 2024

CSB: A Counting and Sampling Tool for Bit-vectors.

Arijit Shaw, Kuldeep S. Meel

Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024

An Approximate Skolem Function Counter.

Arijit Shaw, Brendan Juba, Kuldeep S. Meel

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Explaining SAT Solving Using Causal Reasoning.

Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2020

Designing New Phase Selection Heuristics.

Arijit Shaw, Kuldeep S. Meel

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2017

A Deadline-Partition Oriented Heterogeneous Multi-Core Scheduler for Periodic Tasks.

Sanjay Moulik, Rajesh Devaraj, Arnab Sarkar, Arijit Shaw

Proceedings of the 18th International Conference on Parallel and Distributed Computing, 2017