MiniMaxSat swMATH ID: 9732 Software Authors: Federico Heras; Javier Larrosa; Albert Oliveras Description: MiniMaxSat: A New Weighted Max-SAT Solver. n this paper we introduce MiniMaxSat, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard clauses (clauses of mandatory satisfaction as in SAT), soft clauses (clauses whose falsification is penalized by a cost as in Max-SAT) as well as pseudo-boolean objective functions and constraints. Its main features are: learning and backjumping on hard clauses; resolution-based and subtraction-based lower bounding; and lazy propagation with the two-watched literals scheme. Our empirical evaluation on a wide set of optimization benchmarks indicates that its performance is usually close to the best specialized alternative and, in some cases, even better. Homepage: http://link.springer.com/chapter/10.1007/978-3-540-72788-0_8 Related Software: Sat4j; Chaff; MaxHS; MiniSat; QMaxSAT; MaxSolver; Walksat; UBCSAT; PicoSAT; BerkMin; PBS; Pueblo; CCLS; Open-WBO; SATzilla; WPM2; ToulBar2; SATO; QUICKXPLAIN; Yices Cited in: 36 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Minimaxsat: an efficient weighted Max-SAT solver. Zbl 1183.68578Heras, F.; Larrosa, J.; Oliveras, A. 2008 all top 5 Cited by 86 Authors 5 Marques-Silva, João P. 5 Planes, Jordi 4 Ansótegui, Carlos 4 Li, Chumin 4 Manyà, Felip 3 Gabàs, Joel 3 Heras, Federico 3 Maratea, Marco 2 Argelich, Josep 2 Arieli, Ofer 2 Davies, Jessica Katharine 2 de Givry, Simon 2 Habet, Djamal 2 Larrosa, Javier 2 Levy, Jordi 2 Mohamedou, Nouredine Ould 2 Morgado, António 2 Nieuwenhuis, Robert 2 Oliveras, Albert 2 Schiex, Thomas 2 Zamansky, Anna 1 Abío, Ignasi 1 Abramé, André 1 Al-Yahya, Tasniem Nasser 1 Allouche, David 1 André, Isabelle 1 Asín Achá, Roberto 1 Bacchus, Fahiem 1 Baneres, David 1 Barbe, Sophie 1 Berend, Daniel 1 Bonet, Maria Luisa 1 Cai, Shaowei 1 Cherif, Mohamed Sami 1 Coll, Jordi 1 Cooper, Martin C. 1 Deters, Morgan 1 Di Rosa, Emanuele 1 Eberhard, Sebastian 1 El-bachir Menai, Mohamed 1 Giunchiglia, Enrico 1 Govindan, Anandraj 1 Graça, Ana 1 He, Kun 1 Hetzl, Stefan 1 Ibaraki, Toshihide 1 Imamichi, Takashi 1 Jamil, Noreen 1 Jayaraman, Chander 1 Katsirelos, George 1 Kiran, T. V. S. 1 Koga, Yuichi 1 Liffiton, Mark H. 1 Lin, Jinkun 1 Luo, Chuan 1 Lutteroth, Christof 1 Lynce, Inês 1 Malik, Sharad 1 Malitsky, Yuri 1 Manquinho, Vasco M. 1 Mengshoel, Ole J. 1 Müller, Johannes 1 Naeem, M. Asif 1 Nagamochi, Hiroshi 1 Nair, Naveen V. 1 Nonobe, Koji 1 Östergård, Patric R. J. 1 O’Sullivan, Barry 1 Prestwich, Steven D. 1 Pulina, Luca 1 Ramakrishnan, Ganesh 1 Rodríguez-Carbonell, Enric 1 Roth, Dan 1 Sánchez, Martì 1 Sellmann, Meinolf 1 Stuckey, Peter James 1 Su, Kaile 1 Traoré, Seydou 1 Twitto, Yochai 1 Vaskelainen, Vesa P. 1 Weber, Gerald 1 Werner, Tomáš 1 Wilkins, David C. 1 Xu, Zhenxing 1 Yagiura, Mutsunori 1 Zytnicki, Matthias all top 5 Cited in 17 Serials 6 Artificial Intelligence 3 AI Communications 3 Constraints 2 Optimization Letters 1 Journal of Computational and Applied Mathematics 1 Annals of Pure and Applied Logic 1 Journal of Computer Science and Technology 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 Annals of Operations Research 1 Mathematical Programming. Series A. Series B 1 The Journal of Artificial Intelligence Research (JAIR) 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Heuristics 1 Journal of Applied Logic 1 Discrete Optimization 1 Journal of Satisfiability, Boolean Modeling and Computation Cited in 5 Fields 29 Computer science (68-XX) 12 Operations research, mathematical programming (90-XX) 2 Mathematical logic and foundations (03-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) Citations by Year