PPaperPicks

Supratik Chakraborty

7 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3KR ×3IJCAI ×1

Frequent coauthors

S. Akshay
DBLP profile ↗ORCID search ↗
×3
Nakshatra Gupta
DBLP profile ↗ORCID search ↗
×1
Nadav Alon
DBLP profile ↗ORCID search ↗
×1
Kuldeep S. Meel
DBLP profile ↗ORCID search ↗
×1
Mohimenul Kabir
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Knowledge Compilation for Quantification in Alternating Automata
    KR 2026 ·
    S. Akshay
    DBLP profile ↗ORCID search ↗
  2. On Robustness of Linear Classifiers to Targeted Data Poisoning
    AAAI 2026 ·
    Nakshatra Gupta
    DBLP profile ↗ORCID search ↗
  3. On-the-fly LTLf Synthesis under Partial Observability
    KR 2026 ·
    Nadav Alon
    DBLP profile ↗ORCID search ↗
  4. LP-Based Weighted Model Integration over Non-Linear Real Arithmetic
    IJCAI 2025 ·
    S. Akshay
    DBLP profile ↗ORCID search ↗
  5. Presburger Functional Synthesis: Complexity and Tractable Normal Forms
    KR 2025 ·
    S. Akshay
    DBLP profile ↗ORCID search ↗
  6. Auditable Algorithms for Approximate Model Counting
    AAAI 2024 ·
    Kuldeep S. Meel
    DBLP profile ↗ORCID search ↗
  7. Exact ASP Counting with Compact Encodings
    AAAI 2024 ·
    Mohimenul Kabir
    DBLP profile ↗ORCID search ↗