R
Roland H. C. Yap
Researcher at National University of Singapore
Publications - 170
Citations - 3231
Roland H. C. Yap is an academic researcher from National University of Singapore. The author has contributed to research in topics: Local consistency & Constraint programming. The author has an hindex of 26, co-authored 160 publications receiving 3008 citations. Previous affiliations of Roland H. C. Yap include University of Melbourne & Monash University.
Papers
More filters
Journal ArticleDOI
The CLP( ℛ ) language and system
TL;DR: The CLP programming language is defined, its underlyingphilosophy and programming methodology are discussed, important implementation issues are explored in detail, and finally, a prototypeinterpreter is described.
Journal ArticleDOI
An optimal coarse-grained arc consistency algorithm
TL;DR: A coarse-grained algorithm is proposed, AC2001/3.1, that is worst case optimal and preserves as much as possible the ease of its integration into a solver (no heavy data structure to be maintained during search) and is competitive with the best fine- grained algorithms such as AC-6.
Proceedings Article
Making AC-3 an optimal algorithm
Yuanlin Zhang,Roland H. C. Yap +1 more
TL;DR: It is shown suprisingly that AC-3 achieves the optimal worst case time complexity with O(ed2), the result is applied to obtain a path consistency algorithm which has the same time and space complexity as the best known theoretical results.
Book ChapterDOI
Beyond Finite Domains
TL;DR: This work gives an algorithm for incremental satisfiability of unit TVPI constraints, and it can be augmented with a bounds-propagation technique for constraints more general than TVPI.
Proceedings ArticleDOI
Heap bounds protection with low fat pointers
Gregory J. Duck,Roland H. C. Yap +1 more
TL;DR: This paper presents a new low-fat pointer encoding that is fully compatible with existing libraries and standard hardware and shows that it has very low memory overhead, and competitive with existing state-of-the-art bounds instrumentation solutions.