MiniSat

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.


References in zbMATH (referenced in 514 articles , 1 standard article )

Showing results 1 to 20 of 514.
Sorted by year (citations)

1 2 3 ... 24 25 26 next

  1. Gaggl, Sarah A.; Linsbichler, Thomas; Maratea, Marco; Woltran, Stefan: Design and results of the second international competition on computational models of argumentation (2020)
  2. Li, Chu-Min; Xiao, Fan; Luo, Mao; Manyà, Felip; Lü, Zhipeng; Li, Yu: Clause vivification by unit propagation in CDCL SAT solvers (2020)
  3. Abd El-Maksoud, Munira A.; Abdalla, Areeg: A novel SAT solver for the Van der Waerden numbers (2019)
  4. Banbara, Mutsunori; Inoue, Katsumi; Kaufmann, Benjamin; Okimoto, Tenda; Schaub, Torsten; Soh, Takehide; Tamura, Naoyuki; Wanko, Philipp: teaspoon: solving the curriculum-based course timetabling problems with answer set programming (2019)
  5. Breik, Keenan; Thachuk, Chris; Heule, Marijn; Soloveichik, David: Computing properties of stable configurations of thermodynamic binding networks (2019)
  6. Cerutti, Federico; Giacomin, Massimiliano; Vallati, Mauro: How we designed winning algorithms for abstract argumentation and which insight we attained (2019)
  7. Däubel, Karl; Jäger, Sven; Mütze, Torsten; Scheucher, Manfred: On orthogonal symmetric chain decompositions (2019)
  8. Fichte, Johannes K.; Kronegger, Martin; Woltran, Stefan: A multiparametric view on answer set programming (2019)
  9. Hodžić, S.; Pasalic, E.; Chattopadhyay, A.: An iterative method for linear decomposition of index generating functions (2019)
  10. Jančík, Pavel; Kofroň, Jan; Alt, Leonardo; Fedyukovich, Grigory; Hyvärinen, Antti E. J.; Sharygina, Natasha: Exploiting partial variable assignment in interpolation-based model checking (2019)
  11. Karpiński, Michał; Piotrów, Marek: Encoding cardinality constraints using multiway merge selection networks (2019)
  12. Li, Jianwen; Zhu, Shufang; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.: SAT-based explicit LTL reasoning and its application to satisfiability checking (2019)
  13. Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J.: Wombit: a portfolio bit-vector solver using word-level propagation (2019)
  14. Zha, Aolong; Koshimura, Miyuki; Fujita, Hiroshi: (N)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT (2019)
  15. Alliot, Jean-Marc; Demolombe, Robert; Del Cerro, Luis Fariñas; Diéguez, Martín; Obeid, Naji: Abductive reasoning on molecular interaction maps (2018)
  16. Alviano, Mario; Dodaro, Carmine; Maratea, Marco: Shared aggregate sets in answer set programming (2018)
  17. Bendík, Jaroslav; Černá, Ivana: Evaluation of domain agnostic approaches for enumeration of minimal unsatisfiable subsets (2018)
  18. Biere, Armin; Kröning, Daniel: SAT-based model checking (2018)
  19. Blanchette, Jasmin Christian; Fleury, Mathias; Lammich, Peter; Weidenbach, Christoph: A verified SAT solver framework with learn, forget, restart, and incrementality (2018)
  20. Cerutti, Federico; Vallati, Mauro; Giacomin, Massimiliano: On the impact of configuration on abstract argumentation automated reasoning (2018)

1 2 3 ... 24 25 26 next


Further publications can be found at: http://minisat.se/Papers.html