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