On dedicated CDCL strategies for PB solvers
scientific article; zbMATH DE number 7495582
scientific article