On Dedicated CDCL Strategies for PB Solvers

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

On Weakening Strategies for PB Solvers

von Berre, Daniel Le
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

De la pertinenee des litiéraux dans les contraintes pseudo-booléenacs apprises

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