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

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

1 2 3 ... 16 17 18 next

  1. Abramé, André; Habet, Djamal; Toumi, Donia: Improving configuration checking for satisfiable random $k$-SAT instances (2017)
  2. Al-Saedi, Balasim; Fourdrinoy, Olivier; Grégoire, Éric; Mazure, Bertrand; Saïs, Lakhdar: About some UP-based polynomial fragments of SAT (2017)
  3. Ehlers, Thorsten: Merging almost sorted sequences yields a 24-sorter (2017)
  4. Balyo, Tomáš; Biere, Armin; Iser, Markus; Sinz, Carsten: SAT race 2015 (2016)
  5. Brafman, Ronen I.; Shani, Guy: Online belief tracking using regression for contingent planning (2016)
  6. Calimeri, Francesco; Gebser, Martin; Maratea, Marco; Ricca, Francesco: Design and results of the Fifth Answer Set Programming Competition (2016)
  7. Cooper, Martin C.; Duchein, Aymeric; El Mouelhi, Achref; Escamocher, Guillaume; Terrioux, Cyril; Zanuttini, Bruno: Broken triangles: from value merging to a tractable class of general-arity constraint satisfaction problems (2016)
  8. Dolev, Danny; Heljanko, Keijo; Järvisalo, Matti; Korhonen, Janne H.; Lenzen, Christoph; Rybicki, Joel; Suomela, Jukka; Wieringa, Siert: Synchronous counting and computational algorithm design (2016)
  9. Giráldez-Cru, Jesús; Levy, Jordi: Generating SAT instances with community structure (2016)
  10. Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar: What we can learn from conflicts in propositional satisfiability (2016)
  11. Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao: Quantified maximum satisfiability (2016)
  12. Jäger, Gerold; Climer, Sharlee; Zhang, Weixiong: The complete parsimony haplotype inference problem and algorithms based on integer programming, branch-and-bound and Boolean satisfiability (2016)
  13. Janota, Mikoláš; Klieber, William; Marques-Silva, Joao; Clarke, Edmund: Solving QBF with counterexample guided refinement (2016)
  14. KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin: SATenstein: automatically building local search SAT solvers from components (2016)
  15. Liffiton, Mark H.; Previti, Alessandro; Malik, Ammar; Marques-Silva, Joao: Fast, flexible MUS enumeration (2016)
  16. Nofal, Samer; Atkinson, Katie; Dunne, Paul E.: Looking-ahead in backtracking algorithms for abstract argumentation (2016)
  17. Schlaipfer, Matthias; Weissenbacher, Georg: Labelled interpolation systems for hyper-resolution, clausal, and local proofs (2016)
  18. Semenov, A.A.; Otpuschennikov, I.V.: On one class of decision diagrams (2016)
  19. Balint, Adrian; Belov, Anton; Järvisalo, Matti; Sinz, Carsten: Overview and analysis of the SAT challenge 2012 solver competition (2015)
  20. Balyo, Tomáš; Sanders, Peter; Sinz, Carsten: HordeSat: a massively parallel portfolio SAT solver (2015)

1 2 3 ... 16 17 18 next

Further publications can be found at: