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)