| Optimizing Simple Tabular Reduction with a Bitwise Representation. R Wang, W Xia, RHC Yap, Z Li IJCAI, 787-795, 2016 | 36 | 2016 |
| Generalized arc consistency algorithms for table constraints: A summary of algorithmic ideas RHC Yap, W Xia, R Wang Proceedings of the AAAI conference on artificial intelligence 34 (09), 13590 …, 2020 | 25 | 2020 |
| Arc consistency revisited R Wang, RHC Yap Integration of Constraint Programming, Artificial Intelligence, and …, 2019 | 18 | 2019 |
| Bipartite encoding: a new binary encoding for solving non-binary CSPs R Wang, RHC Yap Proceedings of the Twenty-Ninth International Conference on Artificial …, 2021 | 8 | 2021 |
| Encoding Multi-valued Decision Diagram Constraints as Binary Constraint Trees R Wang, R Yap Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 3850-3858, 2022 | 7 | 2022 |
| Correlation heuristics for constraint programming R Wang, W Xia, RHC Yap 2017 IEEE 29th International Conference on Tools with Artificial …, 2017 | 7 | 2017 |
| CNF encodings of binary constraint trees R Wang, RHC Yap 28th International Conference on Principles and Practice of Constraint …, 2022 | 3 | 2022 |
| The expressive power of ad-hoc constraints for modelling CSPs R Wang, RHC Yap Proceedings of the AAAI Conference on Artificial Intelligence 37 (4), 4104-4114, 2023 | 2 | 2023 |
| A comparison of SAT encodings for acyclicity of directed graphs NF Zhou, R Wang, RHC Yap 26th International Conference on Theory and Applications of Satisfiability …, 2023 | 2 | 2023 |
| Expediting neural network verification via network reduction Y Zhong, R Wang, SC Khoo 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 1 | 2023 |
| Encoding constraints as binary constraint networks satisfying BTP R Wang Proceedings of the AAAI Conference on Artificial Intelligence 38 (8), 8172-8181, 2024 | | 2024 |
Roland YapNational University of SingaporeCorreu electrònic verificat a comp.nus.edu.sg
