BerkMin swMATH ID: 6917 Software Authors: Goldberg, Eugene; Novikov, Yakov Description: 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. Homepage: http://eigold.tripod.com/BerkMin.html Keywords: satisfiability testing; decision-making procedure; clause database management Related Software: Chaff; MiniSat; SATO; Siege; Velev SAT Benchmarks; PicoSAT; Walksat; SATIRE; zChaff; UnitWalk; PBS; Quaffle; DIMACS; HaifaSat; Jerusat; ASSAT; RSat; MiniMaxSat; SATzilla; Zchaff2004 Cited in: 148 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year BerkMin: A fast and robust SAT-solver. Zbl 1121.68106Goldberg, Eugene; Novikov, Yakov 2007 all top 5 Cited by 251 Authors 8 Marques-Silva, João P. 6 Goldberg, Eugene L. 5 Biere, Armin 5 Lynce, Inês 5 Malik, Sharad 5 Nieuwenhuis, Robert 4 Becker, Bernd 4 Drechsler, Rolf 4 Schubert, Tobias 4 Sinz, Carsten 4 Somenzi, Fabio 4 Strichman, Ofer 3 Aloul, Fadi A. 3 Amla, Nina 3 Faber, Wolfgang 3 Ganai, Malay K. 3 Gershman, Roman 3 Gupta, Aarti 3 Jackson, Daniel 3 Leone, Nicola 3 Maratea, Marco 3 Marić, Filip 3 McMillan, Kenneth L. 3 Oliveras, Albert 3 Ricca, Francesco 3 Sakallah, Karem A. 3 Truszczyński, Mirosław 3 Zhang, Lintao 2 Ábrahám, Erika 2 Atserias, Albert 2 Bryant, Randal E. 2 Cotton, Scott 2 Czarnecki, Krzysztof 2 Dershowitz, Nachum 2 Dransfield, Michael R. 2 Fey, Görschwin 2 Fichte, Johannes Klaus 2 Fränzle, Martin 2 Friedrich, Gerhard E. 2 Ganesh, Vijay 2 Gebser, Martin 2 Giunchiglia, Enrico 2 Grumberg, Orna 2 Hanna, Ziyad 2 Herde, Christian 2 Ivančić, Franjo 2 Järvisalo, Matti 2 Jin, HoonSang 2 Kalla, Priyank 2 Kaufmann, Benjamin 2 Kurshan, Robert P. 2 Lewis, Matthew D. T. 2 Liang, Jiahui 2 Liu, Lengning 2 Maler, Oded 2 Marek, V. Wiktor 2 Markov, Igor L. 2 Nadel, Alexander 2 Novikov, Yakov 2 Poupart, Pascal 2 Prestwich, Steven D. 2 Ramani, Arathi 2 Sabharwal, Ashish 2 Schaub, Torsten H. 2 Schlipf, John Stewart 2 Thurley, Marc 2 Tinelli, Cesare 2 Van Gelder, Allen 2 Velev, Miroslav N. 2 Wang, Chao 2 Ward, Jeffrey A. 2 Wille, Robert 2 Zarpas, Emmanuel 1 Abío, Ignasi 1 Achterberg, Tobias 1 Åkesson, Knut 1 Al-Yahya, Tasniem Nasser 1 Alur, Rajeev 1 Armando, Alessandro 1 Asarin, Eugene 1 Aschinger, Markus 1 Ashar, Pranav 1 Asín Achá, Roberto 1 Asín, Roberto 1 Awedh, Mohammad 1 Bailleux, Olivier 1 Balduccini, Marcello 1 Bartzis, Constantinos 1 Baumgartner, Peter 1 Beame, Paul W. 1 Benhamou, Belaid 1 Bhalla, Ateet 1 Bibilo, P. N. 1 Bjørner, Nikolaj S. 1 Bressan, Stéphane 1 Bruni, Renato 1 Buss, Samuel R. 1 Cai, Shaowei 1 Carvalho, Alda 1 Cenzer, Douglas ...and 151 more Authors all top 5 Cited in 38 Serials 6 Journal of Automated Reasoning 6 Annals of Mathematics and Artificial Intelligence 6 Journal of Satisfiability, Boolean Modeling and Computation 4 Constraints 3 Artificial Intelligence 3 The Journal of Artificial Intelligence Research (JAIR) 2 Discrete Applied Mathematics 2 Theoretical Computer Science 2 Journal of Algorithms 2 AI Communications 2 Bulletin of the European Association for Theoretical Computer Science EATCS 2 Discrete Optimization 2 Logical Methods in Computer Science 1 Journal of the Franklin Institute 1 Kybernetika 1 Annals of Pure and Applied Logic 1 Journal of Symbolic Computation 1 Journal of Computer Science and Technology 1 International Journal of Parallel Programming 1 Computers & Operations Research 1 Annals of Operations Research 1 Journal of Logic and Computation 1 Journal of Global Optimization 1 Discrete Event Dynamic Systems 1 Automation and Remote Control 1 Mathematical Programming. Series A. Series B 1 Archives of Control Sciences 1 Formal Methods in System Design 1 Journal of Computer and Systems Sciences International 1 Congressus Numerantium 1 Journal of Combinatorial Optimization 1 Fundamenta Informaticae 1 Theory and Practice of Logic Programming 1 International Journal of Computational Intelligence and Applications 1 Science in China. Series F 1 1 Mathematical Programming Computation 1 Texts in Theoretical Computer Science. An EATCS Series all top 5 Cited in 7 Fields 134 Computer science (68-XX) 14 Mathematical logic and foundations (03-XX) 14 Operations research, mathematical programming (90-XX) 5 Information and communication theory, circuits (94-XX) 2 Combinatorics (05-XX) 2 Systems theory; control (93-XX) 1 Calculus of variations and optimal control; optimization (49-XX) Citations by Year