Predicting Forest Fire Using Remote Sensing Data And Machine Learning. - Suwei Yang; Massimo Lupascu; Kuldeep S. Meel (AAAI, 2021)

INC: A Scalable Incremental Weighted Sampler. - Suwei Yang; Victor C. Liang; Kuldeep S. Meel (FMCAD, 2022)

Dynamic Graph Segmentation for Deep Graph Neural Networks. - Johan Kok Zhi Kang; Suwei Yang; Suriya Venkatesan; Sien Yi Tan; Feng Cheng; Bingsheng He (KDD, 2022)

Scalable Probabilistic Routes. - Suwei Yang; Victor C. Liang; Kuldeep S. Meel (ENIGMA@KR, 2023)

Engineering an Exact Pseudo-Boolean Model Counter. - Suwei Yang; Kuldeep S. Meel (AAAI, 2024)

synthetic pseudo-boolean counting instances. - Suwei Yang; Kuldeep S. Meel (Zenodo, 2024)

Synthetic pseudo-boolean counting benchmarks for projected and incremental counting. - Suwei Yang; Kuldeep S. Meel (Zenodo, 2024)

Towards Projected and Incremental Pseudo-Boolean Model Counting. - Suwei Yang; Kuldeep S. Meel (AAAI, 2025)

On Top-Down Pseudo-Boolean Model Counting. - Suwei Yang; Yong Lai 001; Kuldeep S. Meel (SAT, 2025)