×

ManySAT

swMATH ID: 544
Software Authors: Hamadi, Youssef; Jabbour, Said; Sais, Lakhdar
Description: ManySAT: a parallel SAT solver. ManySAT, a new portfolio-based parallel SAT solver, is thoroughly described. The design of ManySAT benefits from the main weaknesses of modern SAT solvers: their sensitivity to parameter tuning and their lack of robustness. ManySAT uses a portfolio of complementary sequential algorithms obtained through careful variations of the standard DPLL algorithm. Additionally, each sequential algorithm shares clauses to improve the overall performance of the whole system. This contrasts with most of the parallel SAT solvers generally designed using the divide-and-conquer paradigm. Experiments on many industrial SAT instances, and the first rank obtained by ManySAT in the parallel track of the 2008 SAT-Race clearly show the potential of our design philosophy.
Homepage: http://www.cril.univ-artois.fr/~jabbour/manysat.htm
Keywords: parallel search; dynamic restarts; extended clause learning
Related Software: Plingeling; Chaff; MiniSat; Lingeling; Treengeling; SATO; PSATO; HordeSat; PaMiraXT; PaInleSS; DIMACS; GridSAT; PicoSAT; BerkMin; SATzilla; c-sat; PrecoSAT; CSPLib; Paracooba; CaDiCaL
Referenced in: 37 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
ManySAT: a parallel SAT solver. Zbl 1193.68227
Hamadi, Youssef; Jabbour, Said; Sais, Lakhdar
2009
all top 5

Referenced by 100 Authors

4 Hamadi, Youssef
3 Biere, Armin
3 Jabbour, Said
3 Saïs, Lakhdar
2 Abreu, Salvador
2 Adel’shin, A. V.
2 Balyo, Tomáš
2 Codognet, Philippe
2 Diaz, Daniel
2 Ganesh, Vijay
2 Hyvärinen, Antti E. J.
2 Iser, Markus
2 Junttila, Tommi A.
2 Marques-Silva, João P.
2 Niemelä, Ilkka N. F.
2 Sanders, Peter
2 Sinz, Carsten
1 Amadini, Roberto
1 Angione, Claudio
1 Arbelaez, Alejandro
1 Audemard, Gilles
1 Baarir, Souheib
1 Becker, Bernd
1 Belov, Anton
1 Brummayer, Robert
1 Burchard, Jan
1 Caniou, Yves
1 Cheng, Xi
1 Dequen, Gilles
1 Fleury, Mathias
1 Froleyks, Nils
1 Gabbrielli, Maurizio
1 Gent, Ian Philip
1 Hansen, Michael Reichhardt
1 Heisinger, Maximilian
1 Heule, Marijn J. H.
1 Hoos, Holger H.
1 Ignatyev, Alexey A.
1 Inoue, Katsumi
1 Jarvis, Padraigh
1 Järvisalo, Matti
1 Jeong, Il Woong
1 Jung, Younghoon
1 Kim, Woo-Hwan
1 Kochemazov, Stepan
1 Kolokolov, Aleksandr Aleksandrovich
1 Koo, Bonwook
1 Kordon, Fabrice
1 Krajecki, Michaël
1 Kuchin, A. K.
1 Kwon, Daesung
1 Le Frioux, Ludovic
1 Lee, Dong-Geon
1 Leyton-Brown, Kevin
1 Li, Chunxiao
1 Liang, Jiahui
1 Lindauer, Marius
1 Lonsing, Florian
1 Loveland, Donald W.
1 Lynce, Inês
1 Malik, Sharad
1 Manquinho, Vasco M.
1 Manthey, Norbert
1 Martins, Ruben
1 Mathew, Minu
1 Mauro, Jacopo
1 McCreesh, Ciaran
1 Meel, Kuldeep S.
1 Miguel, Ian
1 Moore, Neil C. A.
1 Nabeshima, Hidetomo
1 Nicosia, Giuseppe
1 Nightingale, Peter W.
1 Occhipinti, Annalisa
1 Oh, Chanseok
1 Phan, Anh-Dung
1 Prevot, Nicolas
1 Prosser, Patrick
1 Richoux, Florian
1 Ringwelski, Georg
1 Roh, Dongyoung
1 Sabharwal, Ashish
1 Schaub, Torsten H.
1 Schreiber, Dominik
1 Schubert, Tobias
1 Selman, Bart
1 Semenov, Aleksandr Anatol’evich
1 Simon, Laurent S. R.
1 Song, Xiaoyu
1 Soos, Mate
1 Sopena, Julien
1 Stracquadanio, Giovanni
1 Suda, Martin
1 Sun, Jiaguang
1 Thomas, Ciza
1 Unsworth, Chris
1 Vallade, Vincent
1 Vander-Swalmen, Pascal
1 Zaikin, Oleg Sergeevich
1 Zhou, Min

Referencing Publications by Year