BerkMin

BerkMin: A fast and robust SAT-solver. We describe a SAT-solver, BerkMin, that inherits such features of GRASP, SATO, and Chaff as clause recording, fast BCP, restarts, and conflict clause “aging”. At the same time BerkMin introduces a new decision-making procedure and a new method of clause database management. We experimentally compare BerkMin with Chaff, the leader among resolution-based SAT-solvers. Experiments show that our program is more robust than Chaff being able to solve more instances than Chaff in a reasonable amount of time.


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

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

1 2 3 ... 6 7 8 next

  1. Biere, Armin; Fröhlich, Andreas: Evaluating CDCL variable scoring schemes (2015)
  2. Achá, Roberto Asín; Nieuwenhuis, Robert: Curriculum-based course timetabling with SAT and MaxSAT (2014)
  3. Alviano, Mario; Dodaro, Carmine; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco: WASP: a native ASP solver based on constraint learning (2013)
  4. Menai, Mohamed El Bachir; Al-Yahya, Tasniem Nasser: A taxonomy of exact methods for partial Max-SAT (2013)
  5. Buss, Samuel R.: Towards NP-P via proof complexity and search (2012)
  6. Fischetti, Matteo; Monaci, Michele: Cutting plane versus compact formulations for uncertain (integer) linear programs (2012)
  7. Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten: Conflict-driven answer set solving: from theory to practice (2012)
  8. Martins, Ruben; Manquinho, Vasco; Lynce, In^es: An overview of parallel SAT solving (2012)
  9. Van Gelder, Allen: Producing and verifying extremely large propositional refutations (2012)
  10. Abío, Ignasi; Deters, Morgan; Nieuwenhuis, Robert; Stuckey, Peter J.: Reducing chaos in SAT-like search: finding solutions close to a given one (2011)
  11. Ábrahám, Erika; Schubert, Tobias; Becker, Bernd; Fränzle, Martin; Herde, Christian: Parallel SAT solving in bounded model checking (2011)
  12. Aschinger, Markus; Drescher, Conrad; Friedrich, Gerhard; Gottlob, Georg; Jeavons, Peter; Ryabokon, Anna; Thorstensen, Evgenij: Optimization methods for the partner units problem (2011)
  13. Atserias, A.; Fichte, J.K.; Thurley, M.: Clause-learning algorithms with many restarts and bounded-width resolution (2011)
  14. Balduccini, Marcello: Learning and using domain-specific heuristics in ASP solvers (2011)
  15. Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius: Potassco: the Potsdam answer set solving collection (2011)
  16. Ibaraki, Toshihide; Imamichi, Takashi; Koga, Yuichi; Nagamochi, Hiroshi; Nonobe, Koji; Yagiura, Mutsunori: Efficient branch-and-bound algorithms for weighted MAX-2-SAT (2011)
  17. Marić, Filip; Janičić, Predrag: Formalization of abstract state transition systems for SAT (2011)
  18. Pipatsrisawat, Knot; Darwiche, Adnan: On the power of clause-learning SAT solvers as resolution engines (2011)
  19. Sakallah, Karem A.; Marques-Silva, Joao: Anatomy and empirical evaluation of modern SAT solvers (2011)
  20. Soeken, Mathias; Wille, Robert; Drechsler, Rolf: Encoding OCL data types for SAT-based verification of UML/OCL models (2011)

1 2 3 ... 6 7 8 next