PBLib swMATH ID: 13578 Software Authors: Philipp, Tobias; Steinke, Peter Description: PBLib - a library for encoding pseudo-Boolean constraints into CNF. PBLib is an easy-to-use and efficient library, written in C++ for translating pseudo-Boolean (PB) constraints into CNF. We have implemented fifteen different encodings of PB constraints. Our aim is to use efficient encodings, in terms of formula size and whether unit propagation maintains generalized arc consistency. Moreover, PBLib normalizes PB constraints and automatically uses a suitable encoder for the translation. We also support incremental strengthening for optimization problems, where the tighter bound is realized with few additional clauses, as well as conditions for PB constraints. Homepage: http://tools.computational-logic.org/content/pblib.php Related Software: MiniSat; Plingeling; PySAT; Gurobi; Lingeling; Open-WBO; Treengeling; DIMACS; Paracooba; Kissat; CaDiCaL; PyTorch; Python; Scikit; PicoSAT; NumPy; z3; CPLEX; StarExec; ManySAT Cited in: 12 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year PBLib – a library for encoding pseudo-Boolean constraints into CNF. Zbl 1471.68261Philipp, Tobias; Steinke, Peter 2015 all top 5 Cited by 45 Authors 2 Iser, Markus 1 Ansótegui, Carlos 1 Auricchio, Gennaro 1 Balyo, Tomáš 1 Biere, Armin 1 Bierlee, Hendrik 1 Cai, Shaowei 1 Dekker, Jip J. 1 Ferrarini, Luca 1 Froleyks, Nils 1 Gange, Graeme 1 Gualandi, Stefano 1 Heule, Marijn J. H. 1 Hoos, Holger H. 1 Ignatyev, Alexey A. 1 Järvisalo, Matti 1 Karpiński, Michał 1 Kautz, Henry A. 1 Koenig, Sven 1 Kumar, T. K. Satish 1 Kyrillidis, Anastasios 1 Lanzarotto, Greta 1 Lei, Zhendong 1 Luo, Chuan 1 Marques-Silva, João P. 1 Morgado, António 1 Ojeda, Jesús 1 Pacheco, António 1 Pernazza, Ludovico 1 Philipp, Tobias 1 Piotrów, Marek 1 Pon, Josep 1 Salvia, Josep M. 1 Selman, Bart 1 Shrivastava, Anshumali 1 Sinz, Carsten 1 Steinke, Peter 1 Stuckey, Peter James 1 Suda, Martin 1 Tack, Guido 1 Torres, Eduard 1 Vardi, Moshe Ya’akov 1 Xu, Hong 1 Yip, Ka Wa 1 Zhang, Zhiwei Cited in 3 Serials 3 Artificial Intelligence 1 Discrete Applied Mathematics 1 Constraints Cited in 4 Fields 12 Computer science (68-XX) 3 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Convex and discrete geometry (52-XX) Citations by Year