PPaperPicks

Mohimenul Kabir

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1CP ×1

Frequent coauthors

Kuldeep S. Meel
×2
Van-Giang Trinh
×1
Samuel Pastva
×1
Supratik Chakraborty
×1

Papers

  1. Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
    CP 2025 · Mohimenul Kabir,
    Van-Giang Trinh
    ,
    Samuel Pastva
    ,
    Kuldeep S. Meel
  2. Exact ASP Counting with Compact Encodings
    AAAI 2024 · Mohimenul Kabir,
    Supratik Chakraborty
    ,
    Kuldeep S. Meel