10.8k citations
- Université de MontréalCA33 papers
- McGill UniversityCA24 papers
- Centre National de la Recherche ScientifiqueFR18 papers
- École de Technologie SupérieureCA13 papers
- Louisiana State UniversityUS12 papers
- Stanford UniversityUS12 papers
- Georgia Institute of TechnologyUS11 papers
- Sorbonne UniversitéFR11 papers
- Université Paris-SaclayFR11 papers
- University College LondonGB11 papers
- Columbia UniversityUS10 papers
- Concordia UniversityCA10 papers
Showing 2020 · cs.AIShow all
3 papers · 2 filters
cs.AI2020★ 1 cited
Machine Learning in Airline Crew Pairing to Construct Initial Clusters for Dynamic Constraint Aggregation
Yassine Yaakoubi, François Soumis, Simon Lacoste-Julien
The crew pairing problem (CPP) is generally modelled as a set partitioning problem where the flights have to be partitioned in pairings. A pairing is a sequence of flight legs sepa…
cs.AI2020
Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization
Quentin Cappart, Thierry Moisan, Louis-Martin Rousseau +2
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 finit…
cs.AI2020★ 7 cited
Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
Ludovic Font, Sébastien Cyr, Philippe R. Richard +1
When working on intelligent tutor systems designed for mathematics education and its specificities, an interesting objective is to provide relevant help to the students by anticipa…