Optimizing Simple Tabular Reduction with a Bitwise Representation. - Ruiwei Wang; Wei Xia; Roland H. C. Yap; Zhanshan Li (IJCAI, 2016)

Correlation Heuristics for Constraint Programming. - Ruiwei Wang; Wei Xia; Roland H. C. Yap (ICTAI, 2017)

Arc Consistency Revisited. - Ruiwei Wang; Roland H. C. Yap (CPAIOR, 2019)

Generalized Arc Consistency Algorithms for Table Constraints: A Summary of Algorithmic Ideas. - Roland H. C. Yap; Wei Xia; Ruiwei Wang (AAAI, 2020)

Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs. - Ruiwei Wang; Roland H. C. Yap (IJCAI, 2020)

Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees. - Ruiwei Wang; Roland H. C. Yap (AAAI, 2022)

CNF Encodings of Binary Constraint Trees. - Ruiwei Wang; Roland H. C. Yap (CP, 2022)

The Expressive Power of Ad-Hoc Constraints for Modelling CSPs. - Ruiwei Wang; Roland H. C. Yap (AAAI, 2023)

Expediting Neural Network Verification via Network Reduction. - Yuyi Zhong; Ruiwei Wang; Siau-Cheng Khoo (ASE, 2023)

A Comparison of SAT Encodings for Acyclicity of Directed Graphs. - Neng-Fa Zhou; Ruiwei Wang; Roland H. C. Yap (SAT, 2023)

Encoding Constraints as Binary Constraint Networks Satisfying BTP. - Ruiwei Wang (AAAI, 2024)

On the Modelling of Constraints with Tractable Logical Operators. - Ruiwei Wang; Roland H. C. Yap (AAAI, 2025)