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

Thierry Moisan

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

TopicWeightPapersLastEvidence papers
Automated reasoning and model checking › satisfiability › SAT solving
branching heuristic
0.512021
Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization · AAAI 2021
Mathematical optimization
combinatorial optimization
0.512021
Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization · AAAI 2021
Mathematical optimization
constraint programming
0.512021
Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization · AAAI 2021
Algorithms and data structures
dynamic programming
0.512021
Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization · AAAI 2021
Machine learning › Optimization for machine learning
combinatorial optimization
0.112021
Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization · AAAI 2021
Machine learning › Reinforcement learning
deep reinforcement learning
0.112021
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
YearPublicationVenuePosition
2021 Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization
abstract
Combinatorial 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é
AAAI2
2014 Parallel Depth-Bounded Discrepancy Search
Thierry Moisan, Claude-Guy Quimper, Jonathan Gaudreault
CPAIOR1
2013 Parallel Discrepancy-Based Search
Thierry Moisan, Jonathan Gaudreault, Claude-Guy Quimper
CP1