Ruiwei Wang

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