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

Gaël Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

Original languageEnglish
Title of host publication JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes
Publication statusPublished - 2019
MoE publication typeD3 Professional conference proceedings
EventJournées Francophones de Programmation par Contraintes - Albi, France
Duration: 12 Jun 201914 Jun 2019
Conference number: 15

Conference

ConferenceJournées Francophones de Programmation par Contraintes
Abbreviated titleJFPC
CountryFrance
CityAlbi
Period12/06/201914/06/2019

Cite this

Glorian, G., Lagniez, J-M., Montmirail, V., & Sioutis, M. (2019). Une approche SAT incrémentale pour raisonner efficacement sur les réseaux de contraintes qualitatives. In JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes https://hal.univ-cotedazur.fr/hal-02271390/document