PaInleSS swMATH ID: 21967 Software Authors: Le Frioux, Ludovic; Baarir, Souheib; Sopena, Julien; Kordon, Fabrice Description: Painless: a framework for parallel SAT solving. Over the last decade, parallel SAT solving has been widely studied from both theoretical and practical aspects. There are now numerous solvers that differ by parallelization strategies, programming languages, concurrent programming, involved libraries, etc.{par}Hence, comparing the efficiency of the theoretical approaches is a challenging task. Moreover, the introduction of a new approach needs either a deep understanding of the existing solvers, or to start from scratch the implementation of a new tool.{par}We present PaInleSS: a framework to build parallel SAT solvers for many-core environments. Thanks to its genericity and modularity, it provides the implementation of basics for parallel SAT solving like clause exchanges, portfolio and divide and conquer strategies. It also enables users to easily create their own parallel solvers based on new strategies. Our experiments show that our framework compares well with some of the best state-of-the-art solvers. Homepage: https://link.springer.com/chapter/10.1007%2F978-3-319-66263-3_15 Keywords: parallel; satisfiability; clause sharing; portfolio; cube and conquer Related Software: ManySAT; Plingeling; Treengeling; Lingeling; PSATO; HordeSat; YalSAT; Paracooba; Kissat; CaDiCaL; MiniSat; Splatz; MapleCOMSPS; Coprocessor; Chaff; ALIAS; IGraph/M; Glucose; CDCLSym; SATO Cited in: 10 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Painless: a framework for parallel SAT solving Le Frioux, Ludovic; Baarir, Souheib; Sopena, Julien; Kordon, Fabrice 2017 all top 5 Cited by 25 Authors 3 Baarir, Souheib 2 Ganesh, Vijay 2 Kochemazov, Stepan 2 Sopena, Julien 2 Vallade, Vincent 2 Zaikin, Oleg Sergeevich 1 Dergachev, E. A. 1 Froleyks, Nils 1 Heule, Marijn J. H. 1 Inoue, Katsumi 1 Iser, Markus 1 Järvisalo, Matti 1 Kheireddine, Anissa 1 Kordon, Fabrice 1 Le Frioux, Ludovic 1 Nabeshima, Hidetomo 1 Nejati, Saeed 1 Neopryatnaya, A. M. 1 Otpuschennikov, Ilya V. 1 Renault, Etienne 1 Sanders, Peter 1 Schreiber, Dominik 1 Semenov, Aleksandr Anatol’evich 1 Suda, Martin 1 Voronov, Vsevolod Aleksandrovich Cited in 3 Serials 1 Artificial Intelligence 1 Discrete Mathematics 1 Constraints Cited in 3 Fields 7 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) 1 Combinatorics (05-XX) Citations by Year