×

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; Open-WBO; CCLS; SATzilla; WPM2; ToulBar2; QUICKXPLAIN; SATO; Yices
Cited in: 36 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Minimaxsat: an efficient weighted Max-SAT solver. Zbl 1183.68578
Heras, F.; Larrosa, J.; Oliveras, A.
2008
all top 5

Cited by 85 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
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 Wilkins, David C.
1 Xu, Zhenxing
1 Yagiura, Mutsunori
1 Zytnicki, Matthias

Citations by Year