PPaperPicks

Van-Giang Trinh

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1CP ×1KR ×1

Frequent coauthors

Samuel Pastva
×3
Mohimenul Kabir
×1
Kuldeep S. Meel
×1
Belaid Benhamou
×1
Sylvain Soliman
×1

Papers

  1. BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
    KR 2026 ·
    Samuel Pastva
    , Van-Giang Trinh
  2. Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
    CP 2025 ·
    Mohimenul Kabir
    , Van-Giang Trinh,
    Samuel Pastva
    ,
    Kuldeep S. Meel
  3. Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming
    AAAI 2024 · Giang V. Trinh,
    Belaid Benhamou
    ,
    Samuel Pastva
    ,
    Sylvain Soliman