Suwei Yang

14 papers A* 4A 1B 2Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A conf
On Top-Down Pseudo-Boolean Model Counting.
SAT
Suwei Yang, Yong Lai, Kuldeep S. Meel
2025 J jnl
On Top-Down Pseudo-Boolean Model Counting.
CoRR
Suwei Yang, Yong Lai, Kuldeep S. Meel
2025 A* conf
Towards Projected and Incremental Pseudo-Boolean Model Counting.
AAAI
Suwei Yang, Kuldeep S. Meel
2024 A* conf
Engineering an Exact Pseudo-Boolean Model Counter.
AAAI
Suwei Yang, Kuldeep S. Meel
2024 J jnl
Towards Projected and Incremental Pseudo-Boolean Model Counting.
CoRR
Suwei Yang, Kuldeep S. Meel
2023 J jnl
Engineering an Exact Pseudo-Boolean Model Counter.
CoRR
Suwei Yang, Kuldeep S. Meel
2023 J jnl
INC: A Scalable Incremental Weighted Sampler.
CoRR
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
2023 — conf
Scalable Probabilistic Routes.
ENIGMA@KR
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
2023 B conf
Scalable Probabilistic Routes.
LPAR
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
2023 J jnl
Scalable Probabilistic Routes.
CoRR
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
2022 A* conf
Dynamic Graph Segmentation for Deep Graph Neural Networks.
KDD
Johan Kok Zhi Kang, Suwei Yang, Suriya Venkatesan, Sien Yi Tan, Feng Cheng, Bingsheng He
2022 B conf
INC: A Scalable Incremental Weighted Sampler.
FMCAD
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
2021 A* conf
Predicting Forest Fire Using Remote Sensing Data And Machine Learning.
AAAI
Suwei Yang, Massimo Lupascu, Kuldeep S. Meel
2021 J jnl
Predicting Forest Fire Using Remote Sensing Data And Machine Learning.
CoRR
Suwei Yang, Massimo Lupascu, Kuldeep S. Meel