Roland H. C. Yap

Available identifiers

zbMath Open yap.roland-h-cMaRDI QIDQ202526

List of research outcomes

Publication	Date of Publication	Type
A comparison of SAT encodings for acyclicity of directed graphs	2024-11-26	Paper
Real-time passenger bus routing problems with preferences and tradeoffs	2023-07-10	Paper
Arc consistency revisited	2019-10-14	Paper
Shape neutral analysis of graph-based data-structures	2018-12-04	Paper
A path-optimal GAC algorithm for table constraints	2015-12-11	Paper
P. van Beek and R. Dechter's theorem on constraint looseness and local consistency	2015-11-12	Paper
STR3: a path-optimal filtering algorithm for table constraints	2015-05-06	Paper
Improving the lower bound of simple tabular reduction	2015-04-29	Paper
Solving functional constraints by variable substitution	2011-06-15	Paper
An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints	2010-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q3624039	2009-04-28	Paper
Extracting Microstructure in Binary Constraint Networks	2009-03-05	Paper
Efficient Algorithms for Functional Constraints	2009-01-22	Paper
Ad-hoc Global Constraints for Life	2008-09-09	Paper
Towards “Propagation = Logic + Control”	2008-03-11	Paper
An optimal coarse-grained arc consistency algorithm	2007-10-23	Paper
Applying ad-hoc global constraints with the case constraint to still-life	2006-11-03	Paper
Logic Programming	2006-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4475656	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4473044	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4473046	2004-08-04	Paper
Solving hierarchical constraints over finite domains with local search	2004-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4408321	2003-06-29	Paper
Parametric sequence alignment with constraints	2001-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4944896	2000-12-05	Paper
Meta-programming in CLP(R)	1998-01-21	Paper
Projecting CLP(\({\mathcal R}\)) constraints	1993-01-01	Paper

Research outcomes over time

This page was built for person: Roland H. C. Yap