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)

Consolidating Modal Knowledge Bases

von Bouraoui, Zied
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 1 (2020)

Contruintes de cardinulité cachées dans les preuves d'insatisfuisabilité

von Montmirail, Valentin
Veröffentlicht in JFPC (15. : 2019 : Albi) 15es journées francophones de programmation par contraintes (JFPC 2019) (2019)

Solving Equations on Discrete Dynamical Systems

von Dennunzio, Alberto
Veröffentlicht in CIBB (16. : 2019 : Bergamo) Computational intelligence methods for bioinformatics and biostatistics (2020)