Arijit Shaw

Employment

• Chennai Mathematical Institute PhD Student
  2020 - Present

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (8)

• CSB: A Counting and Sampling tool for Bit-vectors
  Acta Informatica 2026 DOI: 10.1007/s00236-026-00535-0
  +Save
• Efficient Volume Computation for SMT Formulas
  Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning 2025 DOI: 10.24963/kr.2025/53
  +Save
• Approximate SMT Counting Beyond Discrete Domains
  2025 62nd ACM/IEEE Design Automation Conference (DAC) 2025 DOI: 10.1109/dac63849.2025.11133351
  +Save
• Model Counting in the Wild
  Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning 2024 DOI: 10.24963/kr.2024/71
  +Save
• An Approximate Skolem Function Counter
  Proceedings of the AAAI Conference on Artificial Intelligence 2024 DOI: 10.1609/aaai.v38i8.28650
  +Save
• Explaining SAT Solving Using Causal Reasoning
  LIPIcs, Volume 271, SAT 2023 2023 DOI: 10.4230/LIPICS.SAT.2023.28
  +Save
• Designing New Phase Selection Heuristics
  Theory and Applications of Satisfiability Testing – SAT 2020 2020 DOI: 10.1007/978-3-030-51825-7_6
  +Save
• A Deadline-Partition Oriented Heterogeneous Multi-Core Scheduler for Periodic Tasks
  2017 18th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) 2017 DOI: 10.1109/pdcat.2017.00041
  +Save