MiniSat swMATH ID: 577 Software Authors: Eén, Niklas; Sörensson, Niklas Description: An extensible SAT-solver. MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. It is released under the MIT licence, and is currently used in a number of projects (see ”Links”). On this page you will find binaries, sources, documentation and projects related to MiniSat, including the Pseudo-boolean solver MiniSat+ and the CNF minimizer/preprocessor SatELite. Together with SatELite, MiniSat was recently awarded in the three industrial categories and one of the ”crafted” categories of the SAT 2005 competition. Homepage: http://minisat.se/ Source Code: https://github.com/niklasso/minisat/ Programming Languages: C++ Keywords: SAT solver; Model Checking Related Software: Chaff; z3; BerkMin; Lingeling; PicoSAT; Plingeling; SATO; Glucose; SMT-LIB; Treengeling; TPTP; CaDiCaL; Yices; SATzilla; Isabelle/HOL; GitHub; CVC4; Walksat; CBMC; Siege Cited in: 615 Documents Further Publications: http://minisat.se/Papers.html Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year An extensible SAT-solver. Zbl 1204.68191Eén, Niklas; Sörensson, Niklas 2004 all top 5 Cited by 1,090 Authors 25 Marques-Silva, João P. 24 Biere, Armin 19 Heule, Marijn J. H. 13 Gebser, Martin 13 Saïs, Lakhdar 13 Schaub, Torsten H. 12 Järvisalo, Matti 11 Junttila, Tommi A. 11 Kröning, Daniel 11 Sakallah, Karem A. 9 Ryvchin, Vadim 9 Sebastiani, Roberto 9 Stuckey, Peter James 8 Cimatti, Alessandro 8 Ganesh, Vijay 8 Maratea, Marco 8 Niemelä, Ilkka N. F. 8 Sinz, Carsten 7 Audemard, Gilles 7 Becker, Bernd 7 Ignatyev, Alexey A. 7 Kaminski, Roland 7 Kaufmann, Benjamin 7 Liffiton, Mark H. 7 Nadel, Alexander 7 Sutcliffe, Geoff 6 Dodaro, Carmine 6 Eén, Niklas 6 Hyvärinen, Antti E. J. 6 Jabbour, Said 6 Janota, Mikoláš 6 Lynce, Inês 6 Strichman, Ofer 6 Woltran, Stefan 5 Ansótegui, Carlos 5 Banbara, Mutsunori 5 Codish, Michael 5 Drechsler, Rolf 5 Heljanko, Keijo 5 Hoos, Holger H. 5 Inoue, Katsumi 5 Lagniez, Jean-Marie 5 Leyton-Brown, Kevin 5 Li, Jianwen 5 Lierler, Yuliya 5 Lonsing, Florian 5 Marić, Filip 5 Middeldorp, Aart 5 Pu, Geguang 5 Scholl, Christoph 5 Schubert, Tobias 5 Simon, Laurent S. R. 5 Soh, Takehide 5 Sörensson, Niklas 5 Tamura, Naoyuki 5 Vardi, Moshe Ya’akov 5 Waldmann, Johannes 5 Wille, Robert 5 Zankl, Harald 4 Ábrahám, Erika 4 Amjad, Hasan 4 Barrett, Clark W. 4 Belov, Anton 4 Bogaerts, Bart 4 Bozzano, Marco 4 Brown, Chad Edward 4 Bruynooghe, Maurice 4 Bryant, Randal E. 4 Czarnecki, Krzysztof 4 Fichte, Johannes Klaus 4 Giesl, Jürgen 4 Giunchiglia, Enrico 4 Goldberg, Eugene L. 4 Hutter, Frank 4 Kochemazov, Stepan 4 Kullmann, Oliver 4 Lindauer, Marius 4 Marquis, Pierre 4 Mencía, Carlos 4 Nieuwenhuis, Robert 4 Philipp, Tobias 4 Previti, Alessandro 4 Reeves, Joseph E. 4 Ricca, Francesco 4 Schneider-Kamp, Peter 4 Semenov, Aleksandr Anatol’evich 4 Seshia, Sanjit Arunkumar 4 Sheini, Hossein M. 4 Suda, Martin 4 Thiemann, René 4 Wallner, Johannes Peter 4 Weidenbach, Christoph 3 Achterberg, Tobias 3 Alviano, Mario 3 Balabanov, Valeriy 3 Balyo, Tomáš 3 Berg, Jeremias 3 Bjørner, Nikolaj S. 3 Brickenstein, Michael 3 Brummayer, Robert ...and 990 more Authors all top 5 Cited in 84 Serials 43 Artificial Intelligence 32 Journal of Automated Reasoning 25 Constraints 20 Journal of Satisfiability, Boolean Modeling and Computation 16 Formal Methods in System Design 12 The Journal of Artificial Intelligence Research (JAIR) 12 Theory and Practice of Logic Programming 11 Annals of Mathematics and Artificial Intelligence 10 AI Communications 9 Logical Methods in Computer Science 7 Theoretical Computer Science 7 Annals of Operations Research 6 Fundamenta Informaticae 5 Science of Computer Programming 5 Formal Aspects of Computing 4 Information and Computation 4 International Journal of Approximate Reasoning 4 ACM Transactions on Computational Logic 4 ACM Journal of Experimental Algorithmics 3 Acta Informatica 3 Discrete Mathematics 3 Information Processing Letters 3 Journal of Logic and Computation 3 Mathematics in Computer Science 2 Discrete Applied Mathematics 2 Journal of Algorithms 2 Computers & Operations Research 2 Automation and Remote Control 2 Journal of Discrete Algorithms 2 Journal of Applied Logic 2 Mathematical Programming Computation 2 Theory of Computing 1 American Mathematical Monthly 1 Computer Physics Communications 1 Acta Cybernetica 1 Applied Mathematics and Computation 1 Automatica 1 Fuzzy Sets and Systems 1 Journal of Computer and System Sciences 1 Journal of Pure and Applied Algebra 1 Studia Logica 1 European Journal of Combinatorics 1 Note di Matematica 1 Annals of Pure and Applied Logic 1 Graphs and Combinatorics 1 Journal of Symbolic Computation 1 Algorithmica 1 Discrete & Computational Geometry 1 Journal of Cryptology 1 Machine Learning 1 International Journal of Foundations of Computer Science 1 Acta Mathematica Universitatis Comenianae. New Series 1 Discrete Event Dynamic Systems 1 European Journal of Operational Research 1 Pattern Recognition 1 Mathematical Programming. Series A. Series B 1 Journal of Mathematical Sciences (New York) 1 Journal of the Egyptian Mathematical Society 1 The Electronic Journal of Combinatorics 1 Journal of Mathematical Chemistry 1 Mathematical Problems in Engineering 1 Theory of Computing Systems 1 Optimization Methods & Software 1 Journal of Graph Algorithms and Applications 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Informatica (Vilnius) 1 International Journal of Applied Mathematics and Computer Science 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Mathematics 1 Journal of Machine Learning Research (JMLR) 1 4OR 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Science in China. Series F 1 Lecture Notes in Computer Science 1 Optimization Letters 1 Acta Universitatis Sapientiae. Informatica 1 Cryptography and Communications 1 Journal of Formalized Reasoning 1 Science China. Information Sciences 1 Computer Science Review 1 ACM Transactions on Computation Theory 1 Lecture Notes in Electrical Engineering 1 Ural Mathematical Journal 1 Texts in Computer Science all top 5 Cited in 23 Fields 562 Computer science (68-XX) 79 Mathematical logic and foundations (03-XX) 48 Operations research, mathematical programming (90-XX) 31 Information and communication theory, circuits (94-XX) 27 Combinatorics (05-XX) 14 Biology and other natural sciences (92-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Number theory (11-XX) 4 Commutative algebra (13-XX) 4 Convex and discrete geometry (52-XX) 3 General and overarching topics; collections (00-XX) 3 Geometry (51-XX) 3 Statistics (62-XX) 3 Numerical analysis (65-XX) 3 Systems theory; control (93-XX) 2 Quantum theory (81-XX) 1 Field theory and polynomials (12-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Probability theory and stochastic processes (60-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) Citations by Year