EDBT 2026 Demo / reviewers in the wild / expert
Kenil C. K. Cheng
dblp:18/756
· DBLP profile ↗
8ranked-venue papers
8as first author
0since 2021 · last 2012
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 8 · 8 first-authorSoftware engineering, systems software and programming languages · 4 · 4 first-authorGraphics, computer vision, multimedia, augmented reality and games · 4 · 4 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
3 papers |
Algorithms and data structures · 53% Automated reasoning and model checking · 30% Computational complexity · 17% |
Topics — the 3 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Algorithms and data structures
search space reduction |
0.1 | 1 | 2007 | Search Space Reduction and Russian Doll Search · AAAI 2007 |
Algorithms and data structures
decision diagrams |
0.1 | 1 | 2005 | Constrained Decision Diagrams · AAAI 2005 |
Computational complexity
constraint satisfaction |
0.0 | 1 | 2003 | Efficient Representation of Adhoc Constraints · IJCAI 2003 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2012 | Space-Time Tradeoffs for the Regular Constraint
Kenil C. K. Cheng, Roland H. C. Yap |
CP | 1 |
| 2008 | Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints
Kenil C. K. Cheng, Roland H. C. Yap |
CP | 1 |
| 2008 | Search Space Reduction for Constraint Optimization Problems
Kenil C. K. Cheng, Roland H. C. Yap |
CP | 1 |
| 2007 | Search Space Reduction and Russian Doll Search
Kenil C. K. Cheng, Roland H. C. Yap |
AAAI | 1 |
| 2006 | Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints
Kenil C. K. Cheng, Roland H. C. Yap |
ECAI | 1 |
| 2005 | Constrained Decision Diagrams
Kenil C. K. Cheng, Roland H. C. Yap |
AAAI | 1 |
| 2005 | Ad-hoc Global Constraints for Life
Kenil C. K. Cheng, Roland H. C. Yap |
CP | 1 |
| 2003 | Efficient Representation of Adhoc Constraints
Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey |
IJCAI | 1 |