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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionProfessional

AlkuperäiskieliEnglanti
Otsikko JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes
TilaJulkaistu - 2019
OKM-julkaisutyyppiD3 Ammatillisen konferenssin julkaisusarja
TapahtumaJournées Francophones de Programmation par Contraintes - Albi, Ranska
Kesto: 12 kesäkuuta 201914 kesäkuuta 2019
Konferenssinumero: 15

Conference

ConferenceJournées Francophones de Programmation par Contraintes
LyhennettäJFPC
MaaRanska
KaupunkiAlbi
Ajanjakso12/06/201914/06/2019

Siteeraa tätä