Demo Data from VLDB 2026 / reviewers in the wild / expert
Guillaume Derval
dblp:221/6508
· DBLP profile ↗
6ranked-venue papers
3as first author
2since 2021 · last 2026
0000-0002-6700-3519ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 6 · 3 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 3 · 1 since 2021Databases, data management, data science and information retrieval · 1 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author · 1 since 2021
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.
| Artificial intelligence
1 paper |
Planning, search and constraint satisfaction · 100% | |
| Computer graphics and multimedia
1 paper |
Audio and music processing · 100% | |
| Theoretical computer science
1 paper |
Combinatorics and discrete mathematics · 100% |
Topics — the 1 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
constraint programming |
1.0 | 1 | 2026 | Aperiodic Tiling and Rhythmic Canons: A CP Journey · AAAI 2026 |
Methods — techniques the papers use, named apart from their topics
integer linear programming · 3.0constraint programming · 3.0boolean satisfiability · 3.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Aperiodic Tiling and Rhythmic Canons: A CP JourneyabstractThe Aperiodic Tiling Complements Problem (ATCP) involves finding the full set of (normalized) aperiodic complements of a given pattern. This has become a classic problem in music theory, with some recent attempts to model it using Integer Linear Programming (ILP) and Boolean Satisfiability (SAT) frameworks. In this paper, we develop and compare different models of ATCP encoded with Constraint Programming (CP). The most effective approach admits two phases: a first one that allows us to merge (join) several subsets of linear constraints under the form of tables with large arity, and a second one that advantageously exploits the generated tables to discard periodic tiling complements. Our experimental results show that our approach significantly outperforms the state-of-the-art, solving every instance of a classical benchmark (standard Vuza rhythms for canons with periods set up to 900) in a time between 5 seconds and 2 minutes (except the largest instance being solved in 18 minutes). Guillaume Derval, Christophe Lecoutre |
AAAI | 1 |
| 2022 | Optimal Decoding of Hidden Markov Models with Consistency Constraints
Alexandre Dubray, Guillaume Derval, Siegfried Nijssen, Pierre Schaus |
DS | 2 |
| 2020 | Mining Constrained Regions of Interest: An Optimization Approach
Alexandre Dubray, Guillaume Derval, Siegfried Nijssen, Pierre Schaus |
DS | 2 |
| 2019 | The Maximum Weighted Submatrix Coverage Problem: A CP Approach
Guillaume Derval, Vincent Branders, Pierre Dupont, Pierre Schaus |
CPAIOR | 1 |
| 2019 | Mining a Maximum Weighted Set of Disjoint Submatrices
Vincent Branders, Guillaume Derval, Pierre Schaus, Pierre Dupont |
DS | 2 |
| 2019 | An Aggregate Learning Approach for Interpretable Semi-supervised Population Prediction and Disaggregation Using Ancillary Data
Guillaume Derval, Frédéric Docquier, Pierre Schaus |
ECML/PKDD (3) | 1 |