Search - Archive ouverte HAL Access content directly

Filter your results

7 Results

An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks

Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Michael Sioutis
24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.160-178, ⟨10.1007/978-3-319-98334-9_11⟩
Conference papers hal-02067915v1
Image document

Hybridation de techniques d’apprentissage de clauses en programmation par contraintes

Gael Glorian
Informatique [cs]. Université d'Artois, 2019. Français. ⟨NNT : ⟩
Theses tel-02971371v1

An Incremental SAT-Based Approach to Reason Efficiently On Qualitative Constraint Network

Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Michael Sioutis
24th International Conference on Principles and Practice of Constraint Programming (CP'18), 2018, Lille, France. pp.160--178
Conference papers hal-03300778v1
Image document

NACRE - A Nogood And Clause Reasoning Engine

Gael Glorian , Jean-Marie Lagniez , Christophe Lecoutre
23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'23), 2020, Alicante, Spain. pp.249-259
Conference papers hal-03300774v1

Combinaison de nogoods extraits au redémarrage

Gael Glorian , Frédéric Boussemart , Jean-Marie Lagniez , Christophe Lecoutre , Bertrand Mazure et al.
13è Journées Francophone de Programmation par Contraintes (JFPC'17), 2017, Montreuil-sur-mer, France. pp.55--64
Conference papers hal-03300251v1
Image document

Une approche SAT incrémentale pour raisonner efficacement sur les réseaux de contraintes qualitatives

Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Michael Sioutis
 JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France
Conference papers hal-02271390v1

An Incremental SAT-Based Approach for Graph Colouring Problem

Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Nicolas Szczepanski
The 25th International Conference on Principles and Practice of Constraint Programming, Sep 2019, Stamford, CT, United States
Conference papers hal-02271397v1