PPaperPicks

Che Cheng

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1IJCAI ×1

Frequent coauthors

Jie-Hong R. Jiang
×2
Long-Hin Fung
×1
Friedrich Slivovsky
×1
Tony Tan
×1
Yun-Rong Luo
×1

Papers

  1. Model Counting for Dependency Quantified Boolean Formulas
    AAAI 2026 ·
    Long-Hin Fung
    , Che Cheng,
    Jie-Hong Roland Jiang
    ,
    Friedrich Slivovsky
    ,
    Tony Tan
  2. Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability
    IJCAI 2024 · Che Cheng,
    Yun-Rong Luo
    ,
    Jie-Hong R. Jiang