| 2025 | AAAI | On the Modelling of Constraints with Tractable Logical Operators. | Ruiwei Wang, Roland H. C. Yap |
| 2024 | AAAI | Encoding Constraints as Binary Constraint Networks Satisfying BTP. | Ruiwei Wang |
| 2023 | AAAI | The Expressive Power of Ad-Hoc Constraints for Modelling CSPs. | Ruiwei Wang, Roland H. C. Yap |
| 2023 | SAT | A Comparison of SAT Encodings for Acyclicity of Directed Graphs. | Neng-Fa Zhou, Ruiwei Wang, Roland H. C. Yap |
| 2022 | AAAI | Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees. | Ruiwei Wang, Roland H. C. Yap |
| 2022 | CP | CNF Encodings of Binary Constraint Trees. | Ruiwei Wang, Roland H. C. Yap |
| 2020 | AAAI | Generalized Arc Consistency Algorithms for Table Constraints: A Summary of Algorithmic Ideas. | Roland H. C. Yap, Wei Xia, Ruiwei Wang |
| 2020 | IJCAI | Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs. | Ruiwei Wang, Roland H. C. Yap |
| 2019 | CPAIOR | Arc Consistency Revisited. | Ruiwei Wang, Roland H. C. Yap |
| 2017 | ICTAI | Correlation Heuristics for Constraint Programming. | Ruiwei Wang, Wei Xia, Roland H. C. Yap |
| 2016 | IJCAI | Optimizing Simple Tabular Reduction with a Bitwise Representation. | Ruiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li |