Suwei Yang

According to our database, Suwei Yang authored at least 9 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

On Top-Down Pseudo-Boolean Model Counting.

Suwei Yang, Yong Lai, Kuldeep S. Meel

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

Towards Projected and Incremental Pseudo-Boolean Model Counting.

Suwei Yang, Kuldeep S. Meel

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

Synthetic pseudo-boolean counting benchmarks for projected and incremental counting.

Suwei Yang, Kuldeep S. Meel

Dataset, December, 2024

synthetic pseudo-boolean counting instances.

Suwei Yang, Kuldeep S. Meel

Dataset, December, 2024

Engineering an Exact Pseudo-Boolean Model Counter.

Suwei Yang, Kuldeep S. Meel

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Scalable Probabilistic Routes.

Suwei Yang, Victor C. Liang, Kuldeep S. Meel

Proceedings of 1st Workshop on AI-driven heterogeneous data management: Completing, 2023

2022

Dynamic Graph Segmentation for Deep Graph Neural Networks.

Johan Kok Zhi Kang, Suwei Yang, Suriya Venkatesan, Sien Yi Tan, Feng Cheng, Bingsheng He

Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022

INC: A Scalable Incremental Weighted Sampler.

Suwei Yang, Victor C. Liang, Kuldeep S. Meel

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Predicting Forest Fire Using Remote Sensing Data And Machine Learning.

Suwei Yang, Massimo Lupascu, Kuldeep S. Meel

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021