×

MiniSat

swMATH ID: 577
Software Authors: Niklas Eén, Niklas Sörensson
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; BerkMin; z3; Lingeling; PicoSAT; SATO; Plingeling; Glucose; SMT-LIB; TPTP; Treengeling; SATzilla; Yices; Walksat; Siege; CBMC; clasp; CaDiCaL; VAMPIRE; ManySAT
Cited in: 586 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.68191
Eén, Niklas; Sörensson, Niklas
2004
all top 5

Cited by 1,043 Authors

23 Biere, Armin
22 Marques-Silva, João P.
17 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 Ganesh, Vijay
8 Niemelä, Ilkka N. F.
8 Sinz, Carsten
7 Audemard, Gilles
7 Becker, Bernd
7 Cimatti, Alessandro
7 Ignatyev, Alexey A.
7 Kaminski, Roland
7 Kaufmann, Benjamin
7 Liffiton, Mark H.
7 Maratea, Marco
7 Nadel, Alexander
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 Sutcliffe, Geoff
6 Woltran, Stefan
5 Ansótegui, Carlos
5 Banbara, Mutsunori
5 Codish, Michael
5 Drechsler, Rolf
5 Heljanko, Keijo
5 Inoue, Katsumi
5 Leyton-Brown, Kevin
5 Lierler, Yuliya
5 Lonsing, Florian
5 Marić, Filip
5 Middeldorp, Aart
5 Schubert, Tobias
5 Soh, Takehide
5 Sörensson, Niklas
5 Tamura, Naoyuki
5 Vardi, Moshe Ya’akov
5 Waldmann, Johannes
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 Fichte, Johannes Klaus
4 Giesl, Jürgen
4 Giunchiglia, Enrico
4 Hoos, Holger H.
4 Kochemazov, Stepan
4 Kullmann, Oliver
4 Lagniez, Jean-Marie
4 Li, Jianwen
4 Lindauer, Marius
4 Nieuwenhuis, Robert
4 Philipp, Tobias
4 Previti, Alessandro
4 Pu, Geguang
4 Ricca, Francesco
4 Schneider-Kamp, Peter
4 Scholl, Christoph
4 Semenov, Aleksandr Anatol’evich
4 Seshia, Sanjit Arunkumar
4 Sheini, Hossein M.
4 Simon, Laurent S. R.
4 Suda, Martin
4 Thiemann, René
4 Wallner, Johannes Peter
4 Wille, Robert
3 Achterberg, Tobias
3 Alviano, Mario
3 Balabanov, Valeriy
3 Balyo, Tomáš
3 Berg, Jeremias
3 Brickenstein, Michael
3 Brummayer, Robert
3 Bruttomesso, Roberto
3 Bryant, Randal E.
3 Chebiryak, Yury
3 Claessen, Koen
3 Czarnecki, Krzysztof
3 Darwiche, Adnan
3 de Moura, Leonardo
3 Denecker, Marc
3 Dershowitz, Nachum
...and 943 more Authors
all top 5

Cited in 80 Serials

43 Artificial Intelligence
29 Journal of Automated Reasoning
25 Constraints
20 Journal of Satisfiability, Boolean Modeling and Computation
15 Formal Methods in System Design
12 The Journal of Artificial Intelligence Research (JAIR)
12 Theory and Practice of Logic Programming
10 Annals of Mathematics and Artificial Intelligence
9 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
3 Acta Informatica
3 Discrete Mathematics
3 Information Processing Letters
3 Journal of Logic and Computation
3 ACM Journal of Experimental Algorithmics
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 Acta Cybernetica
1 Applied Mathematics and Computation
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 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 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

Citations by Year