EDBT 2026 Demo / reviewers in the wild / expert
Thierry Moisan
dblp:134/3189
· DBLP profile ↗
3ranked-venue papers
2as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 2 first-author · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1 · 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.
| Theoretical computer science
1 paper |
Mathematical optimization · 50% Automated reasoning and model checking · 25% Algorithms and data structures · 25% | |
| Artificial intelligence
1 paper |
Reinforcement learning · 50% Optimization for machine learning · 50% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking › satisfiability › SAT solving
branching heuristic |
0.5 | 1 | 2021 | Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization · AAAI 2021 |
Mathematical optimization
combinatorial optimization |
0.5 | 1 | 2021 | Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization · AAAI 2021 |
Mathematical optimization
constraint programming |
0.5 | 1 | 2021 | Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization · AAAI 2021 |
Algorithms and data structures
dynamic programming |
0.5 | 1 | 2021 | Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization · AAAI 2021 |
Machine learning › Optimization for machine learning
combinatorial optimization |
0.1 | 1 | 2021 | Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization · AAAI 2021 |
Machine learning › Reinforcement learning
deep reinforcement learning |
0.1 | 1 | 2021 | Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization · AAAI 2021 |
Methods — techniques the papers use, named apart from their topics
dynamic programming · 1.0deep reinforcement learning · 1.0constraint programming · 1.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Combining Reinforcement Learning and Constraint Programming for Combinatorial OptimizationabstractCombinatorial optimization has found applications in numerous fields, from aerospace to transportation planning and economics. The goal is to find an optimal solution among a finite set of possibilities. The well-known challenge one faces with combinatorial optimization is the state-space explosion problem: the number of possibilities grows exponentially with the problem size, which makes solving intractable for large problems. In the last years, deep reinforcement learning (DRL) has shown its promise for designing good heuristics dedicated to solve NP-hard combinatorial optimization problems. However, current approaches have an important shortcoming: they only provide an approximate solution with no systematic ways to improve it or to prove optimality. In another context, constraint programming (CP) is a generic tool to solve combinatorial optimization problems. Based on a complete search procedure, it will always find the optimal solution if we allow an execution time large enough. A critical design choice, that makes CP non-trivial to use in practice, is the branching decision, directing how the search space is explored. In this work, we propose a general and hybrid approach, based on DRL and CP, for solving combinatorial optimization problems. The core of our approach is based on a dynamic programming formulation, that acts as a bridge between both techniques. We experimentally show that our solver is efficient to solve three challenging problems: the traveling salesman problem with time windows, the 4-moments portfolio optimization problem, and the 0-1 knapsack problem. Results obtained show that the framework introduced outperforms the stand-alone RL and CP solutions, while being competitive with industrial solvers. Quentin Cappart, Thierry Moisan, Louis-Martin Rousseau, Isabeau Prémont-Schwarz, André Augusto Ciré |
AAAI | 2 |
| 2014 | Parallel Depth-Bounded Discrepancy Search
Thierry Moisan, Claude-Guy Quimper, Jonathan Gaudreault |
CPAIOR | 1 |
| 2013 | Parallel Discrepancy-Based Search
Thierry Moisan, Jonathan Gaudreault, Claude-Guy Quimper |
CP | 1 |