Treengeling swMATH ID: 13314 Software Authors: Biere, A Description: Lingeling, Plingeling and Treengeling: Lingeling and its parallel versions Plingeling and Treengeling, obtained first places in 4 tracks (out of 11) of the SAT’14 Competition and thus won 4 Gödel medals during the FLoC’14 Olympic Games. Homepage: http://fmv.jku.at/lingeling/ Related Software: Plingeling; Lingeling; MiniSat; YalSAT; CaDiCaL; Chaff; ManySAT; Splatz; Glucose; DRAT-trim; PaInleSS; HordeSat; MapleCOMSPS; GitHub; Paramils; z3; Paracooba; Kissat; PSATO; COMiniSatPS Cited in: 58 Publications all top 5 Cited by 144 Authors 9 Heule, Marijn J. H. 7 Biere, Armin 4 Lindauer, Marius 4 Semenov, Aleksandr Anatol’evich 3 Brandt, Felix 3 Hoos, Holger H. 3 Kauers, Manuel 3 Leyton-Brown, Kevin 3 Seidl, Martina 2 Balyo, Tomáš 2 Ganesh, Vijay 2 Geist, Christian 2 Giráldez-Cru, Jesús 2 Hutter, Frank 2 Iser, Markus 2 Järvisalo, Matti 2 Junttila, Tommi A. 2 Karppa, Matti 2 Kaski, Petteri 2 Kochemazov, Stepan 2 Kohonen, Jukka 2 Manthey, Norbert 2 Oh, Chanseok 2 Otpuschennikov, Ilya V. 2 Peters, Dominik 2 Sanders, Peter 2 Simon, Laurent S. R. 2 Sinz, Carsten 2 Veith, Helmut 2 Widder, Josef 1 Alam, Jawaherul Md. 1 Ansótegui, Carlos 1 Audemard, Gilles 1 Baarir, Souheib 1 Bachmeier, Georg 1 Balint, Adrian 1 Barahona, Pedro 1 Baud-Berthier, Guillaume 1 Bayless, Sam 1 Bean, Christian 1 Becker, Bernd 1 Bekos, Michael A. 1 Beleĭ, Evgeniya Gennad’evna 1 Bonet, Maria Luisa 1 Burchard, Jan 1 Buss, Sam 1 Chaouiya, Claudine 1 Cheng, Xi 1 Danks, David 1 Dergachev, E. A. 1 Dietl, Werner 1 Dobraunig, Christoph 1 Dujmović, Vida 1 Eberhardt, Frederick 1 Eggensperger, Katharina 1 Eichlseder, Maria 1 Elffers, Jan 1 Esplà-Gomis, Miquel 1 Farcot, Etienne 1 Fleury, Mathias 1 Forcada, Mikel L. 1 Fröhlich, Andreas M. 1 Froleyks, Nils 1 Gribanova, Irina 1 Gronemann, Martin 1 Gudmundsson, Bjarki Agust 1 Harrenstein, Paul 1 Hölldobler, Steffen 1 Hunt, Warren A. jun. 1 Hyttinen, Antti 1 Ignatyev, Alexey A. 1 Inoue, Katsumi 1 Johannsen, Jan 1 Juma, Nahid 1 Kardel, Keyvan 1 Kaufmann, Daniela 1 Kiesl, Benjamin 1 Konev, Boris 1 Kordon, Fabrice 1 Kullmann, Oliver 1 Lazić, Marijana 1 Le Frioux, Ludovic 1 Levy, Jordi 1 Li, Chumin 1 Li, Chunxiao 1 Li, Yu 1 Liang, Jiahui 1 Lisitsa, Alexei P. 1 Liu, Zhenjun 1 Lü, Zhipeng 1 Luo, Mao 1 Mackey, John 1 Manyà, Felip 1 Marek, V. Wiktor 1 Marques-Silva, João P. 1 Mathew, Minu 1 Meel, Kuldeep S. 1 Mendel, Florian 1 Morgado, António 1 Nabeshima, Hidetomo ...and 44 more Authors all top 5 Cited in 20 Serials 9 Artificial Intelligence 3 Formal Methods in System Design 2 Theoretical Computer Science 2 Journal of Symbolic Computation 1 Discrete Mathematics 1 Mathematics of Computation 1 Journal of Computer and System Sciences 1 Journal of Economic Theory 1 Mathematical Social Sciences 1 Graphs and Combinatorics 1 Information and Computation 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 Machine Learning 1 The Journal of Artificial Intelligence Research (JAIR) 1 SIAM Journal on Applied Dynamical Systems 1 Optimization Letters 1 Logical Methods in Computer Science 1 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika 1 DML. Discrete Mathematics Letters all top 5 Cited in 10 Fields 49 Computer science (68-XX) 7 Combinatorics (05-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Mathematical logic and foundations (03-XX) 3 Information and communication theory, circuits (94-XX) 2 Operations research, mathematical programming (90-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Statistics (62-XX) 1 Biology and other natural sciences (92-XX) Citations by Year