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 536 articles , 1 standard article )

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

1 2 3 ... 25 26 27 next

  1. Bian, Zhengbing; Chudak, Fabian; Macready, William; Roy, Aidan; Sebastiani, Roberto; Varotti, Stefano: Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (2020)
  2. Chen, Qian Matteo; Finzi, Alberto; Mancini, Toni; Melatti, Igor; Tronci, Enrico: MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks (2020)
  3. Derbez, Patrick; Perrin, Léo: Meet-in-the-middle attacks and structural analysis of round-reduced PRINCE (2020)
  4. Drechsler, Rolf (ed.); Soeken, Mathias (ed.): Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19--21, 2018 (2020)
  5. Gaggl, Sarah A.; Linsbichler, Thomas; Maratea, Marco; Woltran, Stefan: Design and results of the second international competition on computational models of argumentation (2020)
  6. Kaufmann, Daniela; Biere, Armin; Kauers, Manuel: Incremental column-wise verification of arithmetic circuits using computer algebra (2020)
  7. Lagniez, Jean-Marie; Lonca, Emmanuel; Marquis, Pierre: Definability for model counting (2020)
  8. Li, Chu-Min; Xiao, Fan; Luo, Mao; Manyà, Felip; Lü, Zhipeng; Li, Yu: Clause vivification by unit propagation in CDCL SAT solvers (2020)
  9. Martiel, Simon; Remaud, Maxime: Practical implementation of a quantum backtracking algorithm (2020)
  10. Roh, Dongyoung; Koo, Bonwook; Jung, Younghoon; Jeong, Il Woong; Lee, Dong-Geon; Kwon, Daesung; Kim, Woo-Hwan: Revised version of block cipher CHAM (2020)
  11. Sebastiani, Roberto; Trentin, Patrick: \textscOptiMathSAT: a tool for optimization modulo theories (2020)
  12. Semenov, Alexander; Otpuschennikov, Ilya; Gribanova, Irina; Zaikin, Oleg; Kochemazov, Stepan: Translation of algorithmic descriptions of discrete functions to SAT with applications to cryptanalysis problems (2020)
  13. Weinzierl, Antonius; Taupe, Richard; Friedrich, Gerhard: Advancing lazy-grounding ASP solving techniques -- restarts, phase saving, heuristics, and more (2020)
  14. Abd El-Maksoud, Munira A.; Abdalla, Areeg: A novel SAT solver for the Van der Waerden numbers (2019)
  15. Alviano, Mario; Dodaro, Carmine; Fichte, Johannes K.; Hecher, Markus; Philipp, Tobias; Rath, Jakob: Inconsistency proofs for ASP: the ASP-DRUPE format (2019)
  16. Banbara, Mutsunori; Inoue, Katsumi; Kaufmann, Benjamin; Okimoto, Tenda; Schaub, Torsten; Soh, Takehide; Tamura, Naoyuki; Wanko, Philipp: \textitteaspoon: solving the curriculum-based course timetabling problems with answer set programming (2019)
  17. Breik, Keenan; Thachuk, Chris; Heule, Marijn; Soloveichik, David: Computing properties of stable configurations of thermodynamic binding networks (2019)
  18. Cassano, Valentin; Fervari, Raul; Hoffmann, Guillaume; Areces, Carlos; Castro, Pablo F.: A tableaux calculus for default intuitionistic logic (2019)
  19. Cerutti, Federico; Giacomin, Massimiliano; Vallati, Mauro: How we designed winning algorithms for abstract argumentation and which insight we attained (2019)
  20. Däubel, Karl; Jäger, Sven; Mütze, Torsten; Scheucher, Manfred: On orthogonal symmetric chain decompositions (2019)

1 2 3 ... 25 26 27 next


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