PPaperPicks

Arijit Shaw

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

DBLP profile ↗ORCID search ↗

Venues

KR ×3AAAI ×1

Papers

  1. Efficient Volume Computation for SMT Formulas
    KR 2025 · Arijit Shaw
  2. Efficient Volume Computation for SMT Formulas
    KR 2025 · Arijit Shaw
  3. An Approximate Skolem Function Counter
    AAAI 2024 · Arijit Shaw
  4. Model Counting in the Wild
    KR 2024 · Arijit Shaw