Edit Profile (opens in new tab) Martin, Barnaby D. Co-Author Distance Author ID: martin.barnaby-d Published as: Martin, Barnaby; Martin, Barnaby D. Documents Indexed: 93 Publications since 1950, including 6 Additional arXiv Preprints 1 Contribution as Editor Co-Authors: 48 Co-Authors with 82 Joint Publications 1,232 Co-Co-Authors all top 5 Co-Authors 5 single-authored 34 Paulusma, Daniël 24 Smith, Siani 12 Dantchev, Stefan Stoyanov 12 Van Leeuwen, Erik Jan 11 Madelaine, Florent R. 10 Bodirsky, Manuel 8 Golovach, Petr A. 5 Johnson, Matthew 5 Mottet, Antoine 5 Zhuk, Dmitriy N. 4 Brause, Christoph 4 Pandey, Sukanya 4 Pinsker, Michael 4 Pongrácz, András 3 Jonsson, Peter 3 Larose, Benoit 3 Marković, Petar 3 Stacho, Juraj 3 Wrona, Michał 2 Berthe, Gaétan 2 Bok, Jan 2 Dalmau, Víctor 2 Dapić, Petar 2 Galesi, Nicola 2 George, W. D. 2 Glaßer, Christian 2 Hellums, J. D. 2 Jedličková, Nikola 2 Kern, Walter 2 Lidický, Bernard 2 Martin, Jos 2 Oostveen, Jelle J. 2 Stewart, Anthony 2 ter Haar, Dirk 1 Billerey, D. 1 Bobrow, James E. 1 Bodlaender, Hans L. 1 Bova, Simone 1 Chen, Hubie 1 Chen, Taolue 1 Degiovanni, Alain 1 Hils, Martin 1 Jeanmaire, A. 1 Kára, Jan 1 Kim, Junggon 1 Mamino, Marcello 1 Manea, Florin 1 Ochem, Pascal 1 Park, Frank Chongwoo 1 Pearson, Justin 1 Primiero, Giuseppe 1 Raimondi, Franco 1 Rhodes, Mark 1 Semanišinová, Žaneta 1 Siggers, Mark H. 1 Sohl, G. 1 Szeider, Stefan 1 Živný, Stanislav all top 5 Serials 7 Theoretical Computer Science 3 Discrete Applied Mathematics 3 ACM Transactions on Computational Logic 3 Logical Methods in Computer Science 2 Information Processing Letters 2 Journal of Fluid Mechanics 2 SIAM Journal on Computing 2 Annals of Pure and Applied Logic 2 Algorithmica 2 Computational Complexity 2 Journal of the ACM 1 Acta Informatica 1 International Journal of Non-Linear Mechanics 1 Journal of Combinatorial Theory. Series B 1 Journal of Computer and System Sciences 1 Information and Computation 1 Journal of Robotic Systems 1 SIAM Journal on Discrete Mathematics 1 International Journal of Algebra and Computation 1 The Electronic Journal of Combinatorics 1 Constraints 1 Theory of Computing Systems 1 Physical Review, II. Series 1 Physica, Neue Folge 1 Lecture Notes in Computer Science 1 Computability 1 ACM Transactions on Computation Theory all top 5 Fields 74 Computer science (68-XX) 31 Mathematical logic and foundations (03-XX) 23 Combinatorics (05-XX) 11 General algebraic systems (08-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Fluid mechanics (76-XX) 3 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Group theory and generalizations (20-XX) 1 Mechanics of particles and systems (70-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 62 Publications have been cited 266 times in 157 Documents Cited by ▼ Year ▼ The complexity of surjective homomorphism problems-a survey. Zbl 1246.05104 Bodirsky, Manuel; Kára, Jan; Martin, Barnaby 32 2012 The computational complexity of disconnected cut and \(2 K_2\)-partition. Zbl 1307.05128 Martin, Barnaby; Paulusma, Daniël 16 2015 The packing chromatic number of the infinite square lattice is between 13 and 15. Zbl 1361.05051 Martin, Barnaby; Raimondi, Franco; Chen, Taolue; Martin, Jos 16 2017 On the scope of the universal-algebraic approach to constraint satisfaction. Zbl 1308.68062 Bodirsky, Manuel; Hils, Martin; Martin, Barnaby 15 2012 Constraint satisfaction problems over the integers with successor. Zbl 1440.68111 Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine 14 2015 Constraint satisfaction problems for reducts of homogeneous graphs. Zbl 1430.68121 Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András 12 2019 Colouring \(H\)-free graphs of bounded diameter. Zbl 07561658 Martin, Barnaby; Paulusma, Daniël; Smith, Siani 10 2019 Parameterized proof complexity. Zbl 1252.68151 Dantchev, Stefan; Martin, Barnaby; Szeider, Stefan 9 2011 Towards a trichotomy for quantified \(H\)-coloring. Zbl 1145.68436 Martin, Barnaby; Madelaine, Florent 8 2006 Injective colouring for H-free graphs. Zbl 07493522 Bok, Jan; Jedličková, Nikola; Martin, Barnaby; Paulusma, Daniël; Smith, Siani 8 2021 Tight rank lower bounds for the Sherali-Adams proof system. Zbl 1168.03043 Dantchev, Stefan; Martin, Barnaby; Rhodes, Mark 7 2009 Some analytical solutions for viscometric flows of power-law fluids with heat generation and temperature dependent viscosity. Zbl 0166.21702 Martin, B. 7 1967 Discrete temporal constraint satisfaction problems. Zbl 1425.68135 Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine 7 2018 The complexity of positive first-order logic without equality. Zbl 1351.68119 Madelaine, Florent; Martin, Barnaby 6 2012 Acyclic, star and injective colouring: a complexity picture for \(H\)-free graphs. Zbl 07651161 Bok, Jan; Jedličková, Nikola; Martin, Barnaby; Paulusma, Daniël; Smith, Siani 6 2020 First-order model checking problems parameterized by the model. Zbl 1142.68439 Martin, Barnaby 5 2008 Acyclic, star, and injective colouring: bounding the diameter. Zbl 07538588 Brause, Christoph; Golovach, Petr; Martin, Barnaby; Paulusma, Daniël; Smith, Siani 5 2021 From complexity to algebra and back: digraph classes, collapsibility, and the PGP. Zbl 1401.68115 Carvalho, Catarina; Madelaine, Florent; Martin, Barnaby 4 2015 Constraint satisfaction with counting quantifiers. Zbl 1392.68206 Martin, Barnaby; Madelaine, Florent; Stacho, Juraj 4 2015 Disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07437224 Kern, Walter; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan 4 2022 Colouring graphs of bounded diameter in the absence of small cycles. Zbl 1489.05056 Martin, Barnaby; Paulusma, Daniël; Smith, Siani 4 2022 Acyclic, star, and injective colouring: bounding the diameter. Zbl 1491.05074 Brause, Christoph; Golovach, Petr; Martin, Barnaby; Ochem, Pascal; Paulusma, Daniël; Smith, Siani 4 2022 Distance constraint satisfaction problems. Zbl 1287.68068 Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Pinsker, Michael 4 2010 Finding vertex-surjective graph homomorphisms. Zbl 1253.68149 Golovach, Petr A.; Lidický, Bernard; Martin, Barnaby; Paulusma, Daniël 4 2012 The complexity of quantified constraints using the algebraic formulation. Zbl 1441.68087 Carvalho, Catarina; Martin, Barnaby; Zhuk, Dmitriy 4 2017 QCSP on partially reflexive forests. Zbl 1401.68124 Martin, Barnaby 3 2011 Optimal robot motions for physical criteria. Zbl 1065.70006 Bobrow, J. E.; Martin, B.; Sohl, G.; Wang, E. C.; Park, F. C.; Kim, Junggon 3 2001 Circuit satisfiability and constraint satisfaction around Skolem arithmetic. Zbl 1380.68221 Glaßer, Christian; Jonsson, Peter; Martin, Barnaby 3 2017 Induced disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07682425 Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan 3 2022 Surjective \(H\)-colouring: new hardness results. Zbl 1425.05055 Golovach, Petr A.; Johnson, Matthew; Martin, Barnaby; Paulusma, Daniël; Stewart, Anthony 3 2019 Relativization makes contradictions harder for resolution. Zbl 1277.68093 Dantchev, Stefan; Martin, Barnaby 3 2014 Colouring graphs of bounded diameter in the absence of small cycles. Zbl 07667143 Martin, Barnaby; Paulusma, Daniël; Smith, Siani 3 2021 Finding vertex-surjective graph homomorphisms. Zbl 1360.68511 Golovach, Petr A.; Lidický, Bernard; Martin, Barnaby; Paulusma, Daniël 2 2012 Constraint satisfaction with counting quantifiers. Zbl 1360.68514 Madelaine, Florent; Martin, Barnaby; Stacho, Juraj 2 2012 Statistics of the three-dimensional ferromagnet. Zbl 0041.58901 ter Haar, D.; Martin, B. 2 1950 Finite-amplitude neutral disturbances in plane Poiseuille flow. Zbl 0363.76030 George, W. D.; Hellums, J. D.; Martin, B. 2 1974 Quantified constraints and containment problems. Zbl 1448.68248 Chen, Hubie; Madelaine, Florent R.; Martin, Barnaby 2 2015 Constraint satisfaction problems for reducts of homogeneous graphs. Zbl 1388.68102 Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András 2 2016 Distance constraint satisfaction problems. Zbl 1336.68116 Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Mottet, Antoine; Pinsker, Michael 2 2016 QCSP on partially reflexive cycles – the wavy line of tractability. Zbl 1381.68099 Madelaine, Florent; Martin, Barnaby 2 2013 Cutting planes and the parameter cutwidth. Zbl 1268.03080 Dantchev, Stefan; Martin, Barnaby 2 2009 Hard problems that quickly become very easy. Zbl 07444827 Martin, Barnaby; Paulusma, Daniël; Smith, Siani 2 2022 QCSP monsters and the demise of the Chen conjecture. Zbl 07298233 Zhuk, Dmitriy; Martin, Barnaby 2 2020 Surjective H-colouring over reflexive digraphs. Zbl 1485.68191 Larose, Benoît; Martin, Barnaby; Paulusma, Daniël 2 2018 Few induced disjoint paths for \(H\)-free graphs. Zbl 1527.05104 Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan 2 2023 Disconnected cuts in claw-free graphs. Zbl 1450.05073 Martin, Barnaby; Paulusma, Daniël; van Leeuwen, Erik Jan 2 2020 The limits of tractability in resolution-based propositional proof systems. Zbl 1251.03070 Dantchev, Stefan; Martin, Barnaby 1 2012 Constraint satisfaction with counting quantifiers. II. Zbl 1407.68230 Martin, Barnaby; Stacho, Juraj 1 2014 Circuit satisfiability and constraint satisfaction around Skolem arithmetic. Zbl 1475.68123 Glaßer, Christian; Jonsson, Peter; Martin, Barnaby 1 2016 Quantified constraint satisfaction problem on semicomplete digraphs. Zbl 1367.68115 Đapić, Petar; Marković, Petar; Martin, Barnaby 1 2017 First-order queries on finite abelian groups. Zbl 1373.68254 Bova, Simone; Martin, Barnaby 1 2015 Parameterized resolution with bounded conjunction. Zbl 1381.68096 Dantchev, Stefan; Martin, Barnaby 1 2013 The limits of tractability in resolution-based propositional proof systems. Zbl 1286.03159 Dantchev, Stefan; Martin, Barnaby 1 2010 QCSP on reflexive tournaments. Zbl 07740913 Larose, Benoît; Marković, Petar; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; Żivný, Stanislav 1 2021 The complexity of positive first-order logic without equality. II: The four-element case. Zbl 1287.68065 Martin, Barnaby; Martin, Jos 1 2010 Quantified constraints in twenty seventeen. Zbl 1482.68168 Martin, Barnaby 1 2017 Partitioning \(H\)-free graphs of bounded diameter. Zbl 07575095 Brause, Christoph; Golovach, Petr; Martin, Barnaby; Paulusma, Daniël; Smith, Siani 1 2022 Disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07495038 Kern, Walter; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan 1 2021 The complexity of disjunctive linear Diophantine constraints. Zbl 1512.68112 Bodirsky, Manuel; Martin, Barnaby; Mamino, Marcello; Mottet, Antoine 1 2018 Disconnected cuts in claw-free graphs. Zbl 1524.05256 Martin, Barnaby; Paulusma, Daniël; van Leeuwen, Erik Jan 1 2018 On the complexity of the model checking problem. Zbl 1393.68078 Madelaine, Florent R.; Martin, Barnaby D. 1 2018 The complexity of \(L(p, q)\)-edge-labelling. Zbl 07556570 Berthe, Gaétan; Martin, Barnaby; Paulusma, Daniël; Smith, Siani 1 2022 Few induced disjoint paths for \(H\)-free graphs. Zbl 1527.05104 Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan 2 2023 Disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07437224 Kern, Walter; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan 4 2022 Colouring graphs of bounded diameter in the absence of small cycles. Zbl 1489.05056 Martin, Barnaby; Paulusma, Daniël; Smith, Siani 4 2022 Acyclic, star, and injective colouring: bounding the diameter. Zbl 1491.05074 Brause, Christoph; Golovach, Petr; Martin, Barnaby; Ochem, Pascal; Paulusma, Daniël; Smith, Siani 4 2022 Induced disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07682425 Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan 3 2022 Hard problems that quickly become very easy. Zbl 07444827 Martin, Barnaby; Paulusma, Daniël; Smith, Siani 2 2022 Partitioning \(H\)-free graphs of bounded diameter. Zbl 07575095 Brause, Christoph; Golovach, Petr; Martin, Barnaby; Paulusma, Daniël; Smith, Siani 1 2022 The complexity of \(L(p, q)\)-edge-labelling. Zbl 07556570 Berthe, Gaétan; Martin, Barnaby; Paulusma, Daniël; Smith, Siani 1 2022 Injective colouring for H-free graphs. Zbl 07493522 Bok, Jan; Jedličková, Nikola; Martin, Barnaby; Paulusma, Daniël; Smith, Siani 8 2021 Acyclic, star, and injective colouring: bounding the diameter. Zbl 07538588 Brause, Christoph; Golovach, Petr; Martin, Barnaby; Paulusma, Daniël; Smith, Siani 5 2021 Colouring graphs of bounded diameter in the absence of small cycles. Zbl 07667143 Martin, Barnaby; Paulusma, Daniël; Smith, Siani 3 2021 QCSP on reflexive tournaments. Zbl 07740913 Larose, Benoît; Marković, Petar; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; Żivný, Stanislav 1 2021 Disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07495038 Kern, Walter; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan 1 2021 Acyclic, star and injective colouring: a complexity picture for \(H\)-free graphs. Zbl 07651161 Bok, Jan; Jedličková, Nikola; Martin, Barnaby; Paulusma, Daniël; Smith, Siani 6 2020 QCSP monsters and the demise of the Chen conjecture. Zbl 07298233 Zhuk, Dmitriy; Martin, Barnaby 2 2020 Disconnected cuts in claw-free graphs. Zbl 1450.05073 Martin, Barnaby; Paulusma, Daniël; van Leeuwen, Erik Jan 2 2020 Constraint satisfaction problems for reducts of homogeneous graphs. Zbl 1430.68121 Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András 12 2019 Colouring \(H\)-free graphs of bounded diameter. Zbl 07561658 Martin, Barnaby; Paulusma, Daniël; Smith, Siani 10 2019 Surjective \(H\)-colouring: new hardness results. Zbl 1425.05055 Golovach, Petr A.; Johnson, Matthew; Martin, Barnaby; Paulusma, Daniël; Stewart, Anthony 3 2019 Discrete temporal constraint satisfaction problems. Zbl 1425.68135 Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine 7 2018 Surjective H-colouring over reflexive digraphs. Zbl 1485.68191 Larose, Benoît; Martin, Barnaby; Paulusma, Daniël 2 2018 The complexity of disjunctive linear Diophantine constraints. Zbl 1512.68112 Bodirsky, Manuel; Martin, Barnaby; Mamino, Marcello; Mottet, Antoine 1 2018 Disconnected cuts in claw-free graphs. Zbl 1524.05256 Martin, Barnaby; Paulusma, Daniël; van Leeuwen, Erik Jan 1 2018 On the complexity of the model checking problem. Zbl 1393.68078 Madelaine, Florent R.; Martin, Barnaby D. 1 2018 The packing chromatic number of the infinite square lattice is between 13 and 15. Zbl 1361.05051 Martin, Barnaby; Raimondi, Franco; Chen, Taolue; Martin, Jos 16 2017 The complexity of quantified constraints using the algebraic formulation. Zbl 1441.68087 Carvalho, Catarina; Martin, Barnaby; Zhuk, Dmitriy 4 2017 Circuit satisfiability and constraint satisfaction around Skolem arithmetic. Zbl 1380.68221 Glaßer, Christian; Jonsson, Peter; Martin, Barnaby 3 2017 Quantified constraint satisfaction problem on semicomplete digraphs. Zbl 1367.68115 Đapić, Petar; Marković, Petar; Martin, Barnaby 1 2017 Quantified constraints in twenty seventeen. Zbl 1482.68168 Martin, Barnaby 1 2017 Constraint satisfaction problems for reducts of homogeneous graphs. Zbl 1388.68102 Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András 2 2016 Distance constraint satisfaction problems. Zbl 1336.68116 Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Mottet, Antoine; Pinsker, Michael 2 2016 Circuit satisfiability and constraint satisfaction around Skolem arithmetic. Zbl 1475.68123 Glaßer, Christian; Jonsson, Peter; Martin, Barnaby 1 2016 The computational complexity of disconnected cut and \(2 K_2\)-partition. Zbl 1307.05128 Martin, Barnaby; Paulusma, Daniël 16 2015 Constraint satisfaction problems over the integers with successor. Zbl 1440.68111 Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine 14 2015 From complexity to algebra and back: digraph classes, collapsibility, and the PGP. Zbl 1401.68115 Carvalho, Catarina; Madelaine, Florent; Martin, Barnaby 4 2015 Constraint satisfaction with counting quantifiers. Zbl 1392.68206 Martin, Barnaby; Madelaine, Florent; Stacho, Juraj 4 2015 Quantified constraints and containment problems. Zbl 1448.68248 Chen, Hubie; Madelaine, Florent R.; Martin, Barnaby 2 2015 First-order queries on finite abelian groups. Zbl 1373.68254 Bova, Simone; Martin, Barnaby 1 2015 Relativization makes contradictions harder for resolution. Zbl 1277.68093 Dantchev, Stefan; Martin, Barnaby 3 2014 Constraint satisfaction with counting quantifiers. II. Zbl 1407.68230 Martin, Barnaby; Stacho, Juraj 1 2014 QCSP on partially reflexive cycles – the wavy line of tractability. Zbl 1381.68099 Madelaine, Florent; Martin, Barnaby 2 2013 Parameterized resolution with bounded conjunction. Zbl 1381.68096 Dantchev, Stefan; Martin, Barnaby 1 2013 The complexity of surjective homomorphism problems-a survey. Zbl 1246.05104 Bodirsky, Manuel; Kára, Jan; Martin, Barnaby 32 2012 On the scope of the universal-algebraic approach to constraint satisfaction. Zbl 1308.68062 Bodirsky, Manuel; Hils, Martin; Martin, Barnaby 15 2012 The complexity of positive first-order logic without equality. Zbl 1351.68119 Madelaine, Florent; Martin, Barnaby 6 2012 Finding vertex-surjective graph homomorphisms. Zbl 1253.68149 Golovach, Petr A.; Lidický, Bernard; Martin, Barnaby; Paulusma, Daniël 4 2012 Finding vertex-surjective graph homomorphisms. Zbl 1360.68511 Golovach, Petr A.; Lidický, Bernard; Martin, Barnaby; Paulusma, Daniël 2 2012 Constraint satisfaction with counting quantifiers. Zbl 1360.68514 Madelaine, Florent; Martin, Barnaby; Stacho, Juraj 2 2012 The limits of tractability in resolution-based propositional proof systems. Zbl 1251.03070 Dantchev, Stefan; Martin, Barnaby 1 2012 Parameterized proof complexity. Zbl 1252.68151 Dantchev, Stefan; Martin, Barnaby; Szeider, Stefan 9 2011 QCSP on partially reflexive forests. Zbl 1401.68124 Martin, Barnaby 3 2011 Distance constraint satisfaction problems. Zbl 1287.68068 Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Pinsker, Michael 4 2010 The limits of tractability in resolution-based propositional proof systems. Zbl 1286.03159 Dantchev, Stefan; Martin, Barnaby 1 2010 The complexity of positive first-order logic without equality. II: The four-element case. Zbl 1287.68065 Martin, Barnaby; Martin, Jos 1 2010 Tight rank lower bounds for the Sherali-Adams proof system. Zbl 1168.03043 Dantchev, Stefan; Martin, Barnaby; Rhodes, Mark 7 2009 Cutting planes and the parameter cutwidth. Zbl 1268.03080 Dantchev, Stefan; Martin, Barnaby 2 2009 First-order model checking problems parameterized by the model. Zbl 1142.68439 Martin, Barnaby 5 2008 Towards a trichotomy for quantified \(H\)-coloring. Zbl 1145.68436 Martin, Barnaby; Madelaine, Florent 8 2006 Optimal robot motions for physical criteria. Zbl 1065.70006 Bobrow, J. E.; Martin, B.; Sohl, G.; Wang, E. C.; Park, F. C.; Kim, Junggon 3 2001 Finite-amplitude neutral disturbances in plane Poiseuille flow. Zbl 0363.76030 George, W. D.; Hellums, J. D.; Martin, B. 2 1974 Some analytical solutions for viscometric flows of power-law fluids with heat generation and temperature dependent viscosity. Zbl 0166.21702 Martin, B. 7 1967 Statistics of the three-dimensional ferromagnet. Zbl 0041.58901 ter Haar, D.; Martin, B. 2 1950 all cited Publications top 5 cited Publications all top 5 Cited by 196 Authors 42 Martin, Barnaby D. 26 Paulusma, Daniël 22 Bodirsky, Manuel 15 Smith, Siani 10 Pinsker, Michael 8 Brešar, Boštjan 7 Lauria, Massimo 7 Mottet, Antoine 7 Van Leeuwen, Erik Jan 7 Živný, Stanislav 6 Ferme, Jasmina 6 Golovach, Petr A. 5 Jonsson, Peter 5 Klavžar, Sandi 5 Madelaine, Florent R. 5 Tale, Prafullkumar 4 Chen, Hubie 4 Dantchev, Stefan Stoyanov 4 Dose, Titus 4 Glaßer, Christian 4 Mamino, Marcello 4 Nordström, Jakob 4 Pongrácz, András 4 Zhuk, Dmitriy N. 3 Antony, Cyriac 3 Beyersdorff, Olaf 3 Brause, Christoph 3 Galesi, Nicola 3 Johnson, Matthew 3 Rall, Douglas F. 3 Rzążewski, Paweł 2 Atserias, Albert 2 Barth, Dominik 2 Barto, Libor 2 Beck, Moritz 2 Behrisch, Mike 2 Berthe, Gaétan 2 Bulatov, Andrei A. 2 Chudnovsky, Maria 2 de Rezende, Susanna F. 2 Gastineau, Nicolas 2 Gillibert, Pierre 2 Greiner, Johannes 2 Holub, Přemysl 2 Huang, Shenwei 2 Jonušas, Julius 2 Kamiński, Marcin Marek 2 Kern, Walter 2 Knäuer, Simon 2 Kompatscher, Michael 2 Korže, Danilo 2 Krithika, R. 2 Lidický, Bernard 2 Matl, Gregor 2 Meir, Or 2 Michler, Larissa 2 Moura, Phablo F. S. 2 Olšák, Miroslav 2 Opršal, Jakub 2 Robere, Robert 2 Rydval, Jakub 2 Sau, Ignasi 2 Saurabh, Saket 2 Shalu, M. A. 2 Spirkl, Sophie Theresa 2 Stewart, Anthony 2 Technau, Marc 2 Thapper, Johan 2 Thilikos, Dimitrios M. 2 Togni, Olivier 2 Vargas, Edith Mireya 2 Vesel, Aleksander 2 Wakabayashi, Yoshiko 2 Wrona, Michał 2 Zhong, Mingxian 1 Abbas, Moncef 1 Angeleska, Angela 1 Baader, Franz 1 Bidine, Ez Zobair 1 Bodor, Bertalan 1 Bok, Jan 1 Bonamy, Marthe 1 Börner, Ferdinand 1 Brakensiek, Joshua 1 Campos, Victor A. 1 Ciardo, Lorenzo 1 Dabrowski, Konrad Kazimierz 1 Dalmau, Víctor 1 Dalmau, Víictor 1 Dapić, Petar 1 de Sousa Filho, Gilberto Farias 1 Dȩbsk, Michał 1 dos Santos, Vinícius Fernandes 1 Feghali, Carl 1 Finger, Marcelo 1 Focke, Jacob 1 Fragoso, Felipe C. 1 Fresán-Figueroa, Julián 1 Fulla, Peter 1 Gabbay, Murdoch James ...and 96 more Authors all top 5 Cited in 41 Serials 15 Theoretical Computer Science 11 Discrete Applied Mathematics 7 SIAM Journal on Computing 6 Algorithmica 5 Information Processing Letters 5 ACM Transactions on Computational Logic 5 Logical Methods in Computer Science 4 Information and Computation 4 SIAM Journal on Discrete Mathematics 4 Theory of Computing Systems 3 Discrete Mathematics 3 Algebra Universalis 3 Journal of Computer and System Sciences 3 Aequationes Mathematicae 3 Computational Complexity 3 The Electronic Journal of Combinatorics 3 Discussiones Mathematicae. Graph Theory 2 Annals of Pure and Applied Logic 2 International Journal of Algebra and Computation 2 Constraints 2 Journal of Combinatorial Optimization 2 Journal of Mathematical Logic 1 Acta Informatica 1 Bulletin of the Australian Mathematical Society 1 Israel Journal of Mathematics 1 Bulletin of the London Mathematical Society 1 Journal of Combinatorial Theory. Series A 1 The Journal of Symbolic Logic 1 Transactions of the American Mathematical Society 1 European Journal of Combinatorics 1 Combinatorica 1 Order 1 Journal of Automated Reasoning 1 Forum Mathematicum 1 Mathematical Logic Quarterly (MLQ) 1 Filomat 1 The Journal of Artificial Intelligence Research (JAIR) 1 Journal of Group Theory 1 Oberwolfach Reports 1 Contributions to Discrete Mathematics 1 Optimization Letters all top 5 Cited in 16 Fields 108 Computer science (68-XX) 56 Mathematical logic and foundations (03-XX) 53 Combinatorics (05-XX) 23 General algebraic systems (08-XX) 8 Operations research, mathematical programming (90-XX) 6 Group theory and generalizations (20-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 2 Commutative algebra (13-XX) 2 Topological groups, Lie groups (22-XX) 1 General and overarching topics; collections (00-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Geometry (51-XX) 1 General topology (54-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year