Wang Ruiwei
Research Fellow
National University of Singapore
✉ wangruiwei@u.nus.edu
I am a Research Fellow (in Computer Science) at the National University of Singapore, working with Prof. Roland Yap. I am interested in the algorithms for solving constraint problems.

On the Modelling of Constraints With Tractable Logical Operators Ruiwei Wang and Roland Yap Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 2025.

Encoding Constraints as Binary Constraint Networks Satisfying BTP Ruiwei Wang Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 2024. PDF

Binary Encodings for Solving Ad-Hoc Constraints Ruiwei Wang Ph.D. Thesis 2023. PDF 2024 ACP Doctoral Research Award Honorable Mention

Expediting Neural Network Verification via Network Reduction Yuyi Zhong*, Ruiwei Wang* and Siau-Cheng Khoo Proceedings of International Conference on Automated Software Engineering (ASE), 2023. PDF

A Comparison of SAT Encodings for Acyclicity of Directed Graphs Neng-Fa Zhou, Ruiwei Wang and Roland Yap Proceedings of International Conference on Theory and Applications of Satisfiability Testing (SAT), 2023. PDF

The Expressive Power of Ad-Hoc Constraints for Modelling CSPs Ruiwei Wang and Roland Yap Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 2023. PDF

CNF Encodings of Binary Constraint Trees Ruiwei Wang and Roland Yap Proceedings of International Conference on Principles and Practice of Constraint Programming (CP), 2022. PDF Benchmarks

Encoding Multi-valued Decision Diagram Constraints as Binary Constraint Trees Ruiwei Wang and Roland Yap Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 2022. PDF

Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs Ruiwei Wang and Roland Yap Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2020. PDF Poster

Generalized arc consistency algorithms for table constraints: A summary of algorithmic ideas Roland HC Yap, Wei Xia and Ruiwei Wang Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 2020. PDF

Arc Consistency Revisited Ruiwei Wang and Roland Yap Proceedings of International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR), 2019. PDF

Correlation heuristics for constraint programming Ruiwei Wang, Wei Xia and Roland Yap Proceedings of International Conference on Tools with Artificial Intelligence (ICTAI), 2017. PDF

Optimizing Simple Tabular Reduction with a Bitwise Representation Ruiwei Wang, Wei Xia, Roland HC Yap and Zhanshan Li Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2016. PDF Poster