Suwei Yang
3 papers
· 2021–2025
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(10)
🏆
Keyword Champion
(2)
Conferences
AAAI (3)
Top co-authors
Keywords
conjunctive normal form
(2)
model counting
(2)
exact algorithm
(1)
algebraic decision diagram
(1)
exact solver
(1)
area under roc curve
(1)
machine learning classification
(1)
pseudo-boolean formula
(1)
variable ordering heuristic
(1)
pseudo-boolean model counting
(1)
projected model counting
(1)
incremental model counting
(1)
forest fire prediction
(1)
cost-effective model
(1)
remote sensing
(1)
incremental counting
(1)
knowledge compilation
(1)