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

Bibliographische Detailangaben

Veröffentlicht in:	JFPC (15. : 2019 : Albi) 15es journées francophones de programmation par contraintes (JFPC 2019)
1. Verfasser:	Giorian, Gaël (VerfasserIn)
Weitere Verfasser:	Lagniez, Jean-Marie (VerfasserIn), Montmirail, Valentin (VerfasserIn), Sioutis, Michael (VerfasserIn)
Pages:	15
Format:	UnknownFormat
Sprache:	fre
Veröffentlicht:	2019
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!