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

von Giorian, Gaël
Veröffentlicht in JFPC (15. : 2019 : Albi) 15es journées francophones de programmation par contraintes (JFPC 2019) (2019)