Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Guillaume Derval

dblp:221/6508 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
constraint programming
1.012026
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
YearPublicationVenuePosition
2026 Aperiodic Tiling and Rhythmic Canons: A CP Journey
abstract
The 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
AAAI1
2022 Optimal Decoding of Hidden Markov Models with Consistency Constraints
Alexandre Dubray, Guillaume Derval, Siegfried Nijssen, Pierre Schaus
DS2
2020 Mining Constrained Regions of Interest: An Optimization Approach
Alexandre Dubray, Guillaume Derval, Siegfried Nijssen, Pierre Schaus
DS2
2019 The Maximum Weighted Submatrix Coverage Problem: A CP Approach
Guillaume Derval, Vincent Branders, Pierre Dupont, Pierre Schaus
CPAIOR1
2019 Mining a Maximum Weighted Set of Disjoint Submatrices
Vincent Branders, Guillaume Derval, Pierre Schaus, Pierre Dupont
DS2
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