Une heuristique basée sur l'historique des conflits our les problèmes de satisfaction de conirainies

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

Sur VUP-résilience des k-UCSs binaires

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

A Proof Builder for Max-SAT

von Py, Matthieu
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)

Actes des Neuvièmes journées francophones de programmation par contraintes (JFPC 2013) : Marseille [i.e. Aix-en-Provence], France, 12 - 14 June 2013

Veröffentlicht 2014