Ruiwei Wang

Postdoc, National University of Singapore

Joined

July 2019

Names

Ruiwei Wang

Emails

****@u.nus.edu (Confirmed)

,

****@hotmail.com (Confirmed)

Personal Links

Career & Education History

Postdoc

National University of Singapore (nus.edu.sg)

2023 – Present

PhD student

National University of Singapore (nus.edu.sg)

2018 – 2023

Advisors, Relations & Conflicts

PhD Advisor

2018 – 2023

Expertise

No areas of expertise listed

Publications

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

View all 11 publications

Co-Authors