PPaperPicks

Uddalok Sarkar

4 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2KR ×2

Frequent coauthors

Rishiraj Bhattacharyya
×2
Sourav Chakraborty
×2
Yash Pote
×2
Sayantan Sen
×2
Arijit Shaw
×1
Kuldeep S. Meel
×1

Papers

  1. Instance Dependent Testing of Samplers Using Interval Conditioning
    AAAI 2026 ·
    Rishiraj Bhattacharyya
    ,
    Sourav Chakraborty
    ,
    Yash Pote
    , Uddalok Sarkar,
    Sayantan Sen
  2. Assessing the Quality of Samplers: A Statistical Distance Framework
    KR 2025 · Uddalok Sarkar
  3. Efficient Volume Computation for SMT Formulas
    KR 2025 ·
    Arijit Shaw
    , Uddalok Sarkar,
    Kuldeep S. Meel
  4. Testing Self-Reducible Samplers
    AAAI 2024 ·
    Rishiraj Bhattacharyya
    ,
    Sourav Chakraborty
    ,
    Yash Pote
    , Uddalok Sarkar,
    Sayantan Sen