Yap, Roland H. C.

20 publications

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

ECML-PKDD 2025 Redefining Fairness: A Multi-Dimensional Perspective and Integrated Evaluation Framework Zichong Wang, Zhipeng Yin, Zhen Liu, Roland H. C. Yap, Xiaocai Zhang, Shu Hu, Wenbin Zhang

AAAI 2023 Fast Converging Anytime Model Counting Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

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

AAAI 2021 The Power of Literal Equivalence in Model Counting Yong Lai, Kuldeep S. Meel, 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

AAAI 2018 Learning Robust Search Strategies Using a Bandit-Based Approach Wei Xia, Roland H. C. Yap

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

IJCAI 2015 Decomposition of the Factor Encoding for CSPs Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap

AAAI 2010 Local Search in Histogram Construction Felix Halim, Panagiotis Karras, Roland H. C. Yap

AAAI 2007 Search Space Reduction and Russian Doll Search Kenil C. K. Cheng, Roland H. C. Yap

JAIR 2006 Set Intersection and Consistency in Constraint Networks Yuanlin Zhang, Roland H. C. Yap

AAAI 2005 Constrained Decision Diagrams Kenil C. K. Cheng, Roland H. C. Yap

IJCAI 2003 Consistency and Set Intersection Yuanlin Zhang, Roland H. C. Yap

AAAI 2002 Consistency and Set Intersection Yuanlin Zhang, Roland H. C. Yap

AAAI 2002 Incrementally Solving Functional Constraints Yuanlin Zhang, Roland H. C. Yap

IJCAI 2001 Making AC-3 an Optimal Algorithm Yuanlin Zhang, Roland H. C. Yap

AAAI 1999 Functional Elimination and 0/1/All Constraints Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar