×

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

Citations by Year