Wang, Ruiwei

7 publications

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

AAAI 2024 Encoding Constraints as Binary Constraint Networks Satisfying BTP Ruiwei Wang

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

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

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

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

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