Ruiwei Wang

According to our database, Ruiwei Wang authored at least 11 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Encoding Constraints as Binary Constraint Networks Satisfying BTP.

Ruiwei Wang

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

A Comparison of SAT Encodings for Acyclicity of Directed Graphs.

Neng-Fa Zhou, Ruiwei Wang, Roland H. C. Yap

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

Expediting Neural Network Verification via Network Reduction.

Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

The Expressive Power of Ad-Hoc Constraints for Modelling CSPs.

Ruiwei Wang, Roland H. C. Yap

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

CNF Encodings of Binary Constraint Trees.

Ruiwei Wang, Roland H. C. Yap

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees.

Ruiwei Wang, Roland H. C. Yap

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2020

Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs.

Ruiwei Wang, Roland H. C. Yap

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Generalized Arc Consistency Algorithms for Table Constraints: A Summary of Algorithmic Ideas.

Roland H. C. Yap, Wei Xia, Ruiwei Wang

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Arc Consistency Revisited.

Ruiwei Wang, Roland H. C. Yap

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

2017

Correlation Heuristics for Constraint Programming.

Ruiwei Wang, Wei Xia, Roland H. C. Yap

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2016

Optimizing Simple Tabular Reduction with a Bitwise Representation.

Ruiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016