Sat4j swMATH ID: 7283 Software Authors: Le Berre; Parrain Description: The Sat4j library, release 2.2 system description. Sat4j is a java library for solving boolean satisfaction and optimization problems. It can solve SAT, MAXSAT, Pseudo-Boolean, Minimally Unsatisfiable Subset (MUS) problems. Being in Java, the promise is not to be the fastest one to solve those problems (a SAT solver in Java is about 3.25 times slower than its counterpart in C++), but to be full featured, robust, user friendly, and to follow Java design guidelines and code conventions (checked using static analysis of the source code). The library is designed for flexibility, by using heavily the decorator and strategy design patterns. Furthermore, Sat4j is open source, under the dual business friendly Eclipse Public License and academic friendly GNU LGPL license. Homepage: http://sat4j.org/ Related Software: MiniSat; Chaff; QMaxSAT; Open-WBO; MiniMaxSat; PicoSAT; z3; CPLEX; MaxHS; Pueblo; Walksat; LMHS; CCLS; SMAC; Paramils; Gurobi; SCIP; CBMC; CCASat; MIPLIB Cited in: 86 Documents all top 5 Cited by 220 Authors 7 Marques-Silva, João P. 5 Ansótegui, Carlos 5 Berend, Daniel 5 Lynce, Inês 4 Brauer, Jörg 4 Giesl, Jürgen 4 Golan, Shahar 4 King, Andy 4 Le Berre, Daniel 4 Manquinho, Vasco M. 4 Martins, Ruben 4 Twitto, Yochai 3 Cai, Shaowei 3 Codish, Michael 3 Fuhs, Carsten 3 Gabàs, Joel 3 Gutin, Gregory Z. 3 Schneider-Kamp, Peter 3 Thiemann, René 2 Bacchus, Fahiem 2 Brockschmidt, Marc 2 Crampton, Jason 2 de Moura, Leonardo 2 Demirović, Emir 2 Emmes, Fabian 2 Frohn, Florian 2 Gagarin, Andrei 2 Ignatyev, Alexey A. 2 Janhunen, Tomi 2 Jovanović, Dejan 2 Koshimura, Miyuki 2 Levy, Jordi 2 Luo, Chuan 2 Mayer-Eichberger, Valentin 2 Morgado, António 2 Musliu, Nysret 2 Nadel, Alexander 2 Nordström, Jakob 2 Otto, Carsten 2 Planes, Jordi 2 Plücker, Martin 2 Ströder, Thomas 2 Su, Kaile 2 Swiderski, Stephanie 2 Wallon, Romain 1 Abío, Ignasi 1 Al-Yahya, Tasniem Nasser 1 Alves Rocha, Thiago 1 Argelich, Josep 1 Artigues, Christian 1 Aschermann, Cornelius 1 Balint, Adrian 1 Banbara, Mutsunori 1 Barak-Pelleg, Dina 1 Bayless, Sam 1 Belov, Anton 1 Ben-Amram, Amir M. 1 Ben-David, Shoham 1 Bensalem, Saddek 1 Berg, Jeremias 1 Beyersdorff, Olaf 1 Bofill, Miquel 1 Bogaerts, Bart 1 Bonet, Maria Luisa 1 Bu, Lei 1 Busquets, Dídac 1 Chechik, Marsha 1 Chen, Qian Matteo 1 Cheng, Chih-Hong 1 Chew, Leroy 1 Coll, Jordi 1 Combi, Carlo 1 Corander, Jukka 1 Cowan, Donald D. 1 D’Antoni, Loris 1 Davies, Jessica Katharine 1 Davis, Jesse 1 de Lara, Juan 1 de Lima, Tiago 1 De Wulf, Wolf 1 Delgrande, James P. 1 Devriendt, Jo 1 Diggavi, Suhas N. 1 Dillig, Isil 1 Drechsler, Rolf 1 Ebner, Gabriel 1 El-bachir Menai, Mohamed 1 Feng, Yu 1 Finzi, Alberto 1 Fujita, Hiroshi 1 Garmendia, Antonio 1 Gebser, Martin 1 Gleixner, Ambros M. 1 Gómez-Martínez, Elena 1 Gonopolskiy, Igor 1 Graça, Ana 1 Gruner, Stefan 1 Guerra, Esther 1 Habet, Djamal 1 Harvey, Matthias ...and 120 more Authors all top 5 Cited in 26 Serials 7 Artificial Intelligence 7 Constraints 3 Journal of Automated Reasoning 2 Theoretical Computer Science 2 Science of Computer Programming 2 Information and Computation 2 Annals of Mathematics and Artificial Intelligence 2 Journal of Combinatorial Optimization 2 Theory and Practice of Logic Programming 2 Discrete Optimization 2 Journal of Satisfiability, Boolean Modeling and Computation 2 Logical Methods in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Discrete Applied Mathematics 1 Automatica 1 Computing 1 Journal of Computer Science and Technology 1 Computers & Operations Research 1 AI Communications 1 Annals of Operations Research 1 Formal Methods in System Design 1 The Journal of Artificial Intelligence Research (JAIR) 1 Journal of Heuristics 1 Fundamenta Informaticae 1 Computer Languages, Systems & Structures 1 Statistics and Computing all top 5 Cited in 11 Fields 74 Computer science (68-XX) 24 Operations research, mathematical programming (90-XX) 8 Mathematical logic and foundations (03-XX) 3 Combinatorics (05-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Commutative algebra (13-XX) 1 Statistics (62-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year