Gael Glorian

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 6

Top Topics

Reasoning Engine

Satisfiability Problem

Global Constraints

Confidence Measure

Top Venues

Publications

Guillaume Perez, Gael Glorian, Wijnand Suijlen, Arnaud Lallouet
A Constraint Programming Model for Scheduling the Unloading of Trains in Ports: Extended. CoRR (2023)
Guillaume Perez, Steve Malalel, Gael Glorian, Victor Jung, Alexandre Papadopoulos, Marie Pelleau, Wijnand Suijlen, Jean-Charles Régin, Arnaud Lallouet
Generalized Confidence Constraints. AAAI (2023)
Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre
NACRE - A Nogood And Clause Reasoning Engine. LPAR (2020)
Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski
An Incremental SAT-Based Approach to the Graph Colouring Problem. CP (2019)
Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis
An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks. CP (2018)
Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure
Combining Nogoods in Restart-Based Search. CP (2017)