Ruiwei Wang

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 13

Top Topics

Constraint Satisfaction Problems

Constraint Programming

Top Venues

Publications

Ruiwei Wang
Encoding Constraints as Binary Constraint Networks Satisfying BTP. AAAI (2024)
Ruiwei Wang, Roland H. C. Yap
The Expressive Power of Ad-Hoc Constraints for Modelling CSPs. AAAI (2023)
Neng-Fa Zhou, Ruiwei Wang, Roland H. C. Yap
A Comparison of SAT Encodings for Acyclicity of Directed Graphs. SAT (2023)
Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo
Expediting Neural Network Verification via Network Reduction. CoRR (2023)
Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo
Expediting Neural Network Verification via Network Reduction. ASE (2023)
Ruiwei Wang, Roland H. C. Yap
Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees. AAAI (2022)
Ruiwei Wang, Roland H. C. Yap
CNF Encodings of Binary Constraint Trees. CP (2022)
Roland H. C. Yap, Wei Xia, Ruiwei Wang
Generalized Arc Consistency Algorithms for Table Constraints: A Summary of Algorithmic Ideas. AAAI (2020)
Ruiwei Wang, Roland H. C. Yap
Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs. IJCAI (2020)
Ruiwei Wang, Roland H. C. Yap
Arc Consistency Revisited. CPAIOR (2019)
Ruiwei Wang, Wei Xia, Roland H. C. Yap
Correlation Heuristics for Constraint Programming. CoRR (2018)
Ruiwei Wang, Wei Xia, Roland H. C. Yap
Correlation Heuristics for Constraint Programming. ICTAI (2017)
Ruiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li
Optimizing Simple Tabular Reduction with a Bitwise Representation. IJCAI (2016)