PPaperPicks

Arijit Shaw

4 papers at tracked venues · 1 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

KR ×3AAAI ×1

Frequent coauthors

Kuldeep S. Meel
×3
Uddalok Sarkar
×1
Brendan Juba
×1

Papers

  1. Efficient Volume Computation for SMT Formulas
    KR 2025 · Arijit Shaw
  2. Efficient Volume Computation for SMT Formulas
    KR 2025 · Arijit Shaw,
    Uddalok Sarkar
    ,
    Kuldeep S. Meel
  3. An Approximate Skolem Function Counter
    AAAI 2024 · Arijit Shaw,
    Brendan Juba
    ,
    Kuldeep S. Meel
  4. Model Counting in the Wild
    KR 2024 · Arijit Shaw,
    Kuldeep S. Meel