Roland Yap
National University of Singapore
H-index: 34
Asia-Singapore
Top articles of Roland Yap
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation | Yuancheng Jiang Jiahao Liu Jinsheng Ba Roland HC Yap Zhenkai Liang | 2024/2/6 | |
A Comparison of SAT Encodings for Acyclicity of Directed Graphs | Neng-Fa Zhou Ruiwei Wang Roland HC Yap | 2023 | |
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming (CP 2023) | Xiaofeng Meng Fusheng Wang Chang-Tien Lu Yan Huang Shashi Shekhar | 2021/11/2 | |
Applying deep reinforcement learning to the HP model for protein structure prediction | Physica A: Statistical Mechanics and its Applications | Kaiyuan Yang Houjing Huang Olafs Vandans Adithya Murali Fujia Tian | 2023/1/1 |
The expressive power of ad-hoc constraints for modelling CSPs | Proceedings of the AAAI Conference on Artificial Intelligence | Ruiwei Wang Roland HC Yap | 2023/6/26 |
Fast converging anytime model counting | Proceedings of the AAAI Conference on Artificial Intelligence | Yong Lai Kuldeep S Meel Roland HC Yap | 2023/6/26 |
Real-time passenger bus routing problems with preferences and tradeoffs | Annals of Mathematics and Artificial Intelligence | Suhendry Effendy Roland HC Yap | 2023/6 |
LIPIcs, Volume 280, CP 2023, Complete Volume | Roland HC Yap | 2023 | |
Hardening binaries against more memory errors | Gregory J Duck Yuntong Zhang Roland HC Yap | 2022/3/28 | |
CCDD: A Tractable Representation for Model Counting and Uniform Sampling | arXiv preprint arXiv:2202.10025 | Yong Lai Kuldeep S Meel Roland HC Yap | 2022/2/21 |
CNF Encodings of Binary Constraint Trees | Ruiwei Wang Roland HC Yap | 2022 | |
Extensible Virtual Call Integrity | Yuancheng Jiang Gregory J Duck Roland HC Yap Zhenkai Liang Pinghai Yuan | 2022/9/24 | |
Encoding multi-valued decision diagram constraints as binary constraint trees | Proceedings of the AAAI Conference on Artificial Intelligence | Ruiwei Wang Roland HC Yap | 2022/6/28 |
RecIPE: Revisiting the Evaluation of Memory Error Defenses | Yuancheng Jiang Roland HC Yap Zhenkai Liang Hubert Rosier | 2022/5/30 | |
Bipartite encoding: a new binary encoding for solving non-binary CSPs | Ruiwei Wang Roland HC Yap | 2021/1/7 | |
An efficient heuristic for passenger bus VRP with preferences and tradeoffs | Suhendry Effendy Bao Chau Ngo Roland HC Yap | 2021 | |
Towards certifying trustworthy machine learning systems | Roland HC Yap | 2021 | |
The power of literal equivalence in model counting | Proceedings of the AAAI Conference on Artificial Intelligence | Yong Lai Kuldeep S Meel Roland HC Yap | 2021/5/18 |
Policy aware unified file system | 2021/3/16 | ||
A Hybrid Dynamic Arity Search Heuristic for Constraint Programming | Wei Xia Roland HC Yap | 2020/11/9 |