1. CaDiCaL at the SAT Race 2019;Biere,2019
2. On the glucose SAT solver;Audemard;Int. J. Artif. Intell. Tools,2018
3. PBLib - a library for encoding Pseudo-Boolean constraints into CNF;Philipp,2015
4. Translating pseudo-Boolean constraints into SAT;Eén;J. Satisf. Boolean Model. Comput.,2006
5. A new look at BDDs for pseudo-Boolean constraints;Abío;J. Artif. Intell. Res.,2012