Syrup swMATH ID: 25919 Software Authors: Audemard, Gilles; Lagniez, Jean-Marie; Szczepanski, Nicolas; Tabary, Sébastien Description: A distributed version of Syrup. A portfolio SAT solver has to share clauses in order to be efficient. In a distributed environment, such sharing implies additional problems: more information has to be exchanged and communications among solvers can be time consuming. In this paper, we propose a new version of the state-of-the-art SAT solver Syrup that is now able to run on distributed architectures. We analyze and compare different programming models of communication. We show that, using a dedicated approach, it is possible to share many clauses without penalizing the solvers. Experiments conducted on SAT 2016 benchmarks with up to 256 cores show that our solver is very effective and outperforms other approaches. This opens a broad range of possibilities to boost parallel solvers needing to share many data. Homepage: https://link.springer.com/chapter/10.1007%2F978-3-319-66263-3_14 Related Software: Plingeling; Glucose; MiniSat; CaDiCaL; HordeSat; CryptoMiniSat; ManySAT; Chaff; YalSAT; MapleCOMSPS; Lingeling; Treengeling; Splatz; Paracooba; mkplot; AIGER; PySAT; GitHub; Grain; Transalg Cited in: 4 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year A distributed version of Syrup Audemard, Gilles; Lagniez, Jean-Marie; Szczepanski, Nicolas; Tabary, Sébastien 2017 all top 5 Cited by 16 Authors 1 Abd El-Maksoud, Munira A. 1 Abdalla, Areeg 1 Biere, Armin 1 Fleury, Mathias 1 Gribanova, Irina 1 Heisinger, Maximilian 1 Kochemazov, Stepan 1 Li, Chumin 1 Li, Yu 1 Lü, Zhipeng 1 Luo, Mao 1 Manyà, Felip 1 Otpuschennikov, Ilya V. 1 Semenov, Aleksandr Anatol’evich 1 Xiao, Fan 1 Zaikin, Oleg Sergeevich Cited in 3 Serials 1 Artificial Intelligence 1 Journal of the Egyptian Mathematical Society 1 Logical Methods in Computer Science Cited in 3 Fields 4 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Number theory (11-XX) Citations by Year