RC2 swMATH ID: 36048 Software Authors: Alexey Ignatiev, A. M.; Marques-Silva, J. Description: RC2: a python-based maxsat solver. An implementation of the RC2 algorithm for solving maximum satisfiability. RC2 stands for relaxable cardinality constraints (alternatively, soft cardinality constraints) and represents an improved version of the OLLITI algorithm, which was described in 1 and 2 and originally implemented in the MSCG MaxSAT solver. Initially, this solver was supposed to serve as an example of a possible PySAT usage illustrating how a state-of-the-art MaxSAT algorithm could be implemented in Python and still be efficient. It participated in the MaxSAT Evaluations 2018 and 2019 where, surprisingly, it was ranked first in two complete categories: unweighted and weighted. A brief solver description can be found in 3. A more detailed solver description can be found in 4 Homepage: https://pysathq.github.io/docs/html/api/examples/rc2.html Source Code: https://github.com/pysathq/pysat Related Software: MaxHS; PySAT; Open-WBO; QMaxSAT; Sat4j; MiniSat; LMHS; WPM3; CCEHC; CCLS; Glucose; YalSAT; CaDiCaL; Lingeling; PaInleSS; Treengeling; Plingeling; MiniMaxSat; SATLike; MaxPre Cited in: 11 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year RC2: an efficient MaxSAT solver. Zbl 1484.68216Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao 2019 all top 5 Cited by 26 Authors 3 Ignatyev, Alexey A. 3 Marques-Silva, João P. 2 Berg, Jeremias 2 Cherif, Mohamed Sami 2 Habet, Djamal 1 Abramé, André 1 Bacchus, Fahiem 1 Cai, Shaowei 1 Huang, Pei 1 Ihalainen, Hannes 1 Järvisalo, Matti 1 Joshi, Saurabh 1 Kochemazov, Stepan 1 Kumar, Prateek 1 Lei, Zhendong 1 Li, Rundong 1 Liu, Minghao 1 Ma, Feifei 1 Martins, Ruben 1 Morgado, António 1 Otpuschennikov, Ilya V. 1 Poole, Alex 1 Py, Matthieu 1 Rao, Sukrut 1 Semenov, Aleksandr Anatol’evich 1 Zhang, Jian Cited in 2 Serials 2 Artificial Intelligence 2 Journal of Satisfiability, Boolean Modeling and Computation Cited in 2 Fields 10 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) Citations by Year