Skip to contents Schöning, Uwe [Author]; Torán, Jacobo [Author] The satisfiability problem : algorythms and analyses - [Corrected reprint] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Lehmanns Media, [2020] Published in: Mathematik für Anwendungen ; 3.2020 Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor] Handbook of satisfiability Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Berlin [u.a.]: IOS Press, 2009 Published in: Frontiers in artificial intelligence and applications ; 185 Nguyen, Van-Hau [Author] ; Technische Universität Dresden SAT encodings of finite CSPs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, [2015?] Strichman, Ofer [Editor]; Szeider, Stefan [Other] ; SAT 13 2010 Edinburgh Theory and applications of satisfiability testing - SAT 2010 : 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6175 Giunchiglia, Enrico [Editor] ; SAT 6 2003 Santa Margherita Ligure Theory and applications of satisfiability testing : 6th international conference, Santa Margherita Ligure, Italy, May 5-8 2003 ; selected revised papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 2919 Hoos, Holger H. [Editor] ; SAT 7 2004 Vancouver, British Columbia Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10 - 13, 2004 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3542 Bacchus, Fahiem [Editor] ; SAT 8 2005 Saint Andrews Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3569 Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor] Handbook of satisfiability / part 2 - [Second edition] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Berlin; Washington, DC: IOS Press, [2021] Published in: Handbook of satisfiability / edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) ; 2.2021 - Frontiers in artificial intelligence and applications ; 336,2.2021 Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor] Handbook of satisfiability / part 1 - [second edition] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Berlin; Washington, DC: IOS Press, [2021] Published in: Handbook of satisfiability / edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) ; 1.2021 - Frontiers in artificial intelligence and applications ; 336,1.2021 Knuth, Donald Ervin [Author] The art of computer programming / volume 4, fascicle 5, Mathematical preliminaries redux, introduction to backtracking, dancing links / Donald E. Knuth, Stanford University Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Munich: Addison-Wesley, Oktober 2019 Published in: The art of computer programming / Donald E. Knuth ; 4,5,new Kleine Büning, Hans [Editor]; Zhao, Xishun [Other] ; SAT 11 2008 Kanton, Stadt Theory and applications of satisfiability testing - SAT 2008 : 11th international conference, SAT 2008, Guangzhou, China, May 12-15, 2008 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 4996 Kullmann, Oliver [Editor] ; SAT 12 2009 Swansea Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5584 Marques-Silva, João [Editor]; Sakallah, Karem A. [Other] ; SAT 10 2007 Lissabon Theory and applications of satisfiability testing - SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4501 Backes-Gellner, Uschi [Author]; Schöning, Uwe [Author] Karriereanreize für Wissenschaftler an Hochschulen im deutsch-amerikanischen Vergleich Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Paderborn; München; Wien; Zürich: Schöningh, 2004 Published in: Nordrhein-Westfälische Akademie der Wissenschaften: Vorträge / I ; 11 Lettmann, Theodor [Author] Erfüllbarkeitsalgorithmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1987 Sakallah, Karem A. [Editor] ; SAT 14 2011 Ann Arbor, Mich Theory and application of satisfiability testing - SAT 2011 : 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6695 Kinder, Sebastian [Author] Automated validation and verification of railway specific components and systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 2008 Published in: Berichte aus der Informatik Biere, Armin [Editor]; Gomes, Carla P. [Other] ; SAT 9 2006 Seattle, Wash Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, WA, USA, August 12 - 15, 2006 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4121 Butler, Michael [Editor]; Schulte, Wolfram [Other] ; FM 17 2011 Limerick FM 2011: formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6664 Beklemishev, Lev D. [Other]; Queiroz, Ruy de [Other]; Beklemišev, Lev D. [Editor]; Queiroz, Ruy J. G. B. de [Editor] ; WoLLIC 18 2011 Philadelphia, Pa Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6642
Schöning, Uwe [Author]; Torán, Jacobo [Author] The satisfiability problem : algorythms and analyses - [Corrected reprint] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Lehmanns Media, [2020] Published in: Mathematik für Anwendungen ; 3.2020
Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor] Handbook of satisfiability Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Berlin [u.a.]: IOS Press, 2009 Published in: Frontiers in artificial intelligence and applications ; 185
Nguyen, Van-Hau [Author] ; Technische Universität Dresden SAT encodings of finite CSPs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, [2015?]
Strichman, Ofer [Editor]; Szeider, Stefan [Other] ; SAT 13 2010 Edinburgh Theory and applications of satisfiability testing - SAT 2010 : 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6175
Giunchiglia, Enrico [Editor] ; SAT 6 2003 Santa Margherita Ligure Theory and applications of satisfiability testing : 6th international conference, Santa Margherita Ligure, Italy, May 5-8 2003 ; selected revised papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 2919
Hoos, Holger H. [Editor] ; SAT 7 2004 Vancouver, British Columbia Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10 - 13, 2004 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3542
Bacchus, Fahiem [Editor] ; SAT 8 2005 Saint Andrews Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3569
Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor] Handbook of satisfiability / part 2 - [Second edition] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Berlin; Washington, DC: IOS Press, [2021] Published in: Handbook of satisfiability / edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) ; 2.2021 - Frontiers in artificial intelligence and applications ; 336,2.2021
Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor] Handbook of satisfiability / part 1 - [second edition] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Berlin; Washington, DC: IOS Press, [2021] Published in: Handbook of satisfiability / edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) ; 1.2021 - Frontiers in artificial intelligence and applications ; 336,1.2021
Knuth, Donald Ervin [Author] The art of computer programming / volume 4, fascicle 5, Mathematical preliminaries redux, introduction to backtracking, dancing links / Donald E. Knuth, Stanford University Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Munich: Addison-Wesley, Oktober 2019 Published in: The art of computer programming / Donald E. Knuth ; 4,5,new
Kleine Büning, Hans [Editor]; Zhao, Xishun [Other] ; SAT 11 2008 Kanton, Stadt Theory and applications of satisfiability testing - SAT 2008 : 11th international conference, SAT 2008, Guangzhou, China, May 12-15, 2008 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 4996
Kullmann, Oliver [Editor] ; SAT 12 2009 Swansea Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5584
Marques-Silva, João [Editor]; Sakallah, Karem A. [Other] ; SAT 10 2007 Lissabon Theory and applications of satisfiability testing - SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4501
Backes-Gellner, Uschi [Author]; Schöning, Uwe [Author] Karriereanreize für Wissenschaftler an Hochschulen im deutsch-amerikanischen Vergleich Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Paderborn; München; Wien; Zürich: Schöningh, 2004 Published in: Nordrhein-Westfälische Akademie der Wissenschaften: Vorträge / I ; 11
Lettmann, Theodor [Author] Erfüllbarkeitsalgorithmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1987
Sakallah, Karem A. [Editor] ; SAT 14 2011 Ann Arbor, Mich Theory and application of satisfiability testing - SAT 2011 : 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6695
Kinder, Sebastian [Author] Automated validation and verification of railway specific components and systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 2008 Published in: Berichte aus der Informatik
Biere, Armin [Editor]; Gomes, Carla P. [Other] ; SAT 9 2006 Seattle, Wash Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, WA, USA, August 12 - 15, 2006 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4121
Butler, Michael [Editor]; Schulte, Wolfram [Other] ; FM 17 2011 Limerick FM 2011: formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6664
Beklemishev, Lev D. [Other]; Queiroz, Ruy de [Other]; Beklemišev, Lev D. [Editor]; Queiroz, Ruy J. G. B. de [Editor] ; WoLLIC 18 2011 Philadelphia, Pa Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6642
> Media type Skip to next facet Articles (2.066) Wert ausschließen Books (170) Wert ausschließen Thesis (50) Wert ausschließen Conference Proceedings (42) Wert ausschließen Videos (6) Wert ausschließen Electronic Resources (2) Wert ausschließen Journals / Newspapers / Series (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (8) Wert ausschließen Stack Collection (17) Wert ausschließen Ask for availability (3) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (21) Wert ausschließen Central Library (9) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution (CC BY) (21) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (6) Wert ausschließen In Copyright - Non-commercial Use Permitted (5) Wert ausschließen In Copyright (3) Wert ausschließen Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (3) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (759) Wert ausschließen Restricted Access (1) Wert ausschließen Without Specification (1.553) Wert ausschließen Show more show less
> Language Skip to next facet English (1.158) Wert ausschließen Not determined (1.151) Wert ausschließen German (19) Wert ausschließen French (16) Wert ausschließen Russian (6) Wert ausschließen Chinese (1) Wert ausschließen Italian (1) Wert ausschließen Ndonga (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (796) Wert ausschließen Mathmatics (460) Wert ausschließen Technology (189) Wert ausschließen Physics (100) Wert ausschließen Chemistry and pharmacology (25) Wert ausschließen Economics (24) Wert ausschließen Biology (17) Wert ausschließen Philosophy (17) Wert ausschließen General (16) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (14) Wert ausschließen Art and art history (9) Wert ausschließen History (5) Wert ausschließen Geography (4) Wert ausschließen Medicine (3) Wert ausschließen General sciences (2) Wert ausschließen Sociology (2) Wert ausschließen Ethnology and ethnography (1) Wert ausschließen Geology and paleontology (1) Wert ausschließen Psychology (1) Wert ausschließen Pedagogy (1) Wert ausschließen Show more show less
> Creator Skip to next facet Mansor, Mohd. Asyraf (48) Wert ausschließen Sathasivam, Saratha (43) Wert ausschließen Kasihmuddin, Mohd Shareduwan Mohd (41) Wert ausschließen Szeider, Stefan (29) Wert ausschließen Biere, Armin (28) Wert ausschließen Marques-Silva, Joao (26) Wert ausschließen Zamri, Nur Ezlin (23) Wert ausschließen Giunchiglia, Enrico (21) Wert ausschließen Vollmer, Heribert (20) Wert ausschließen Meier, Arne (19) Wert ausschließen Porschen, Stefan (19) Wert ausschließen Järvisalo, Matti (18) Wert ausschließen Lynce, Inês (17) Wert ausschließen Sebastiani, Roberto (17) Wert ausschließen Speckenmeyer, Ewald (17) Wert ausschließen Cimatti, Alessandro (16) Wert ausschließen Creignou, Nadia (16) Wert ausschließen Franco, John (15) Wert ausschließen Griggio, Alberto (15) Wert ausschließen Van Gelder, Allen (15) Wert ausschließen Vardi, Moshe Y. (15) Wert ausschließen Cai, Shaowei (14) Wert ausschließen Heule, Marijn J. H. (14) Wert ausschließen Tacchella, Armando (14) Wert ausschließen van Maaren, Hans (14) Wert ausschließen Beyersdorff, Olaf (12) Wert ausschließen Ganesh, Vijay (12) Wert ausschließen Ignatiev, Alexey (12) Wert ausschließen Kullmann, Oliver (12) Wert ausschließen Sakallah, Karem A. (12) Wert ausschließen Selman, Bart (12) Wert ausschließen Simon, Laurent (12) Wert ausschließen Slivovsky, Friedrich (12) Wert ausschließen Zhao, Xishun (12) Wert ausschließen Bacchus, Fahiem (11) Wert ausschließen Becker, Bernd (11) Wert ausschließen Berg, Jeremias (11) Wert ausschließen Gutin, Gregory (11) Wert ausschließen Jamaludin, Siti Zulaikha Mohd (11) Wert ausschließen Le Berre, Daniel (11) Wert ausschließen Marques-Silva, João (11) Wert ausschließen Ranise, Silvio (11) Wert ausschließen Walsh, Toby (11) Wert ausschließen Janota, Mikoláš (10) Wert ausschließen Manyà, Felip (10) Wert ausschließen Nadel, Alexander (10) Wert ausschließen Tinelli, Cesare (10) Wert ausschließen de Moura, Leonardo (10) Wert ausschließen Ansótegui, Carlos (9) Wert ausschließen Audemard, Gilles (9) Wert ausschließen Barrett, Clark (9) Wert ausschließen Bonacina, Maria Paola (9) Wert ausschließen Finger, Marcelo (9) Wert ausschließen Kolaitis, Phokion G. (9) Wert ausschließen Li, Chu Min (9) Wert ausschließen Lohrey, Markus (9) Wert ausschließen Lonsing, Florian (9) Wert ausschließen Luo, Chuan (9) Wert ausschließen Manthey, Norbert (9) Wert ausschließen Maratea, Marco (9) Wert ausschließen Mohd Kasihmuddin, Mohd Shareduwan (9) Wert ausschließen Ordyniak, Sebastian (9) Wert ausschließen Sabharwal, Ashish (9) Wert ausschließen Saïs, Lakhdar (9) Wert ausschließen Seidl, Martina (9) Wert ausschließen Seshia, Sanjit A. (9) Wert ausschließen Strichman, Ofer (9) Wert ausschließen Ábrahám, Erika (9) Wert ausschließen Carapelle, Claudia (8) Wert ausschließen Egly, Uwe (8) Wert ausschließen Friedrich, Tobias (8) Wert ausschließen Karim, Syed Anayet (8) Wert ausschließen Malik, Sharad (8) Wert ausschließen Schnoor, Henning (8) Wert ausschließen Seto, Kazuhisa (8) Wert ausschließen Vinyals, Marc (8) Wert ausschließen Zhang, Jian (8) Wert ausschließen Abubakar, Hamza (7) Wert ausschließen Alway, Alyaa (7) Wert ausschließen Armando, Alessandro (7) Wert ausschließen Artois (7) Wert ausschließen Balint, Adrian (7) Wert ausschließen Bauland, Michael (7) Wert ausschließen Drechsler, Rolf (7) Wert ausschließen Fontaine, Pascal (7) Wert ausschließen Fränzle, Martin (7) Wert ausschließen Heule, Marijn (7) Wert ausschließen Iser, Markus (7) Wert ausschließen Krzaczkowski, Jacek (7) Wert ausschließen Lagniez, Jean-Marie (7) Wert ausschließen Lange, Martin (7) Wert ausschließen Ma, Feifei (7) Wert ausschließen Manquinho, Vasco (7) Wert ausschließen Monasson, Rémi (7) Wert ausschließen Montanari, Angelo (7) Wert ausschließen Narizzano, Massimo (7) Wert ausschließen Nordström, Jakob (7) Wert ausschließen Rothenberger, Ralf (7) Wert ausschließen Schneider, Thomas (7) Wert ausschließen Su, Kaile (7) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (602) Wert ausschließen BASE - Bielefeld Academic Search Engine (277) Wert ausschließen Springer International Publishing (CrossRef) (276) Wert ausschließen Elsevier BV (CrossRef) (206) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (187) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (186) Wert ausschließen Verbunddaten SWB (128) Wert ausschließen Lizenzfreie Online-Ressourcen (73) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (71) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (66) Wert ausschließen American Physical Society (APS) (CrossRef) (50) Wert ausschließen theses.fr (32) Wert ausschließen IOS Press (CrossRef) (31) Wert ausschließen Wiley (CrossRef) (29) Wert ausschließen AIP Publishing (CrossRef) (28) Wert ausschließen Diss online (28) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (21) Wert ausschließen Oxford University Press (OUP) (CrossRef) (21) Wert ausschließen MDPI AG (CrossRef) (20) Wert ausschließen IOP Publishing (CrossRef) (19) Wert ausschließen Springer Nature Switzerland (CrossRef) (19) Wert ausschließen AI Access Foundation (CrossRef) (18) Wert ausschließen Society for Industrial & Applied Mathematics (SIAM) (CrossRef) (18) Wert ausschließen Open Publishing Association (CrossRef) (15) Wert ausschließen Institutional Repository of Leibniz Universität Hannover (12) Wert ausschließen Qucosa (12) Wert ausschließen DOAJ Directory of Open Access Journals (10) Wert ausschließen JSTOR Mathematics & Statistics (10) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (10) Wert ausschließen Author(s) (CrossRef) (7) Wert ausschließen Cologne University: KUPS (7) Wert ausschließen Duke University Press (CrossRef) (7) Wert ausschließen Institute of Electronics, Information and Communications Engineers (IEICE) (CrossRef) (7) Wert ausschließen Allerton Press (CrossRef) (6) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (6) Wert ausschließen Hindawi Limited (CrossRef) (6) Wert ausschließen Informa UK Limited (CrossRef) (6) Wert ausschließen Institution of Engineering and Technology (IET) (CrossRef) (6) Wert ausschließen JSTOR Arts & Sciences I Archive (6) Wert ausschließen EDP Sciences (CrossRef) (5) Wert ausschließen ETH Zürich Research Collection (5) Wert ausschließen Hikari, Ltd. (CrossRef) (5) Wert ausschließen MECS Publisher (CrossRef) (5) Wert ausschließen Tomsk State University (CrossRef) (5) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (5) Wert ausschließen American Institute of Mathematical Sciences (AIMS) (CrossRef) (4) Wert ausschließen JSTOR Arts & Sciences VII Archive (4) Wert ausschließen MIT Press - Journals (CrossRef) (4) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (4) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (4) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (4) Wert ausschließen World Scientific Pub Co Pte Lt (CrossRef) (4) Wert ausschließen Carl von Ossietzky Universität Oldenburg: /oops/ - Oldenburger Online-Publikations-Server (3) Wert ausschließen EconStor (German National Library of Economics, ZBW) (3) Wert ausschließen Institute for Operations Research and the Management Sciences (INFORMS) (CrossRef) (3) Wert ausschließen Scientific publications of the Saarland University (UdS) (3) Wert ausschließen Universidad Internacional de La Rioja (CrossRef) (3) Wert ausschließen University of Freiburg: FreiDok (3) Wert ausschließen Academy of Sciences Malaysia (CrossRef) (2) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (2) Wert ausschließen Forschungszentrum Jülich: JuSER (Juelich Shared Electronic Resources) (2) Wert ausschließen IACSIT Press (CrossRef) (2) Wert ausschließen IEEE (CrossRef) (2) Wert ausschließen Institute for System Programming of the Russian Academy of Sciences (CrossRef) (2) Wert ausschließen Institute of Advanced Engineering and Science (CrossRef) (2) Wert ausschließen International Union of Crystallography (IUCr) (CrossRef) (2) Wert ausschließen JSTOR Health & General Sciences (2) Wert ausschließen JSTOR Life Sciences Archive (2) Wert ausschließen Mary Ann Liebert Inc (CrossRef) (2) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (2) Wert ausschließen Penerbit Universiti Kebangsaan Malaysia (UKM Press) (CrossRef) (2) Wert ausschließen SPIE (CrossRef) (2) Wert ausschließen Siberian Federal University (CrossRef) (2) Wert ausschließen TU Braunschweig: LeoPARD - Publications And Research Data (2) Wert ausschließen The Electronic Journal of Combinatorics (CrossRef) (2) Wert ausschließen ACM Press (CrossRef) (1) Wert ausschließen AIP Publishing LLC (CrossRef) (1) Wert ausschließen ASME International (CrossRef) (1) Wert ausschließen Academic Publications (CrossRef) (1) Wert ausschließen Academy Publisher (CrossRef) (1) Wert ausschließen American Chemical Society (ACS) (CrossRef) (1) Wert ausschließen Annals of Mathematics (CrossRef) (1) Wert ausschließen Association for the Advancement of Artificial Intelligence (AAAI) (CrossRef) (1) Wert ausschließen Biophysical Society of Japan (CrossRef) (1) Wert ausschließen Briefland (CrossRef) (1) Wert ausschließen Brno University of Technology (CrossRef) (1) Wert ausschließen Canadian Mathematical Society (CrossRef) (1) Wert ausschließen China Science Publishing & Media Ltd. (CrossRef) (1) Wert ausschließen Computers, Materials and Continua (Tech Science Press) (CrossRef) (1) Wert ausschließen Deanship of Scientific Research (CrossRef) (1) Wert ausschließen Emerald (CrossRef) (1) Wert ausschließen Engineering and Technology Publishing (CrossRef) (1) Wert ausschließen European Mathematical Society - EMS - Publishing House GmbH (CrossRef) (1) Wert ausschließen Frontiers Media SA (CrossRef) (1) Wert ausschließen IBERAMIA: Sociedad Iberoamericana de Inteligencia Artificial (CrossRef) (1) Wert ausschließen IGI Global (CrossRef) (1) Wert ausschließen IJNC Editorial Committee (CrossRef) (1) Wert ausschließen ITMO University (CrossRef) (1) Wert ausschließen Information Processing Society of Japan (CrossRef) (1) Wert ausschließen Institute of Electrical Engineers of Japan (IEE Japan) (CrossRef) (1) Wert ausschließen Show more show less