×
Compute Distance To:
Author ID: martin.barnaby-d Recent zbMATH articles by "Martin, Barnaby D."
Published as: Martin, Barnaby; Martin, Barnaby D.

Publications by Year

Citations contained in zbMATH Open

42 Publications have been cited 160 times in 104 Documents Cited by Year
The complexity of surjective homomorphism problems-a survey. Zbl 1246.05104
Bodirsky, Manuel; Kára, Jan; Martin, Barnaby
21
2012
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
15
2017
On the scope of the universal-algebraic approach to constraint satisfaction. Zbl 1308.68062
Bodirsky, Manuel; Hils, Martin; Martin, Barnaby
12
2012
Constraint satisfaction problems over the integers with successor. Zbl 1440.68111
Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine
11
2015
The computational complexity of disconnected cut and \(2 K_2\)-partition. Zbl 1307.05128
Martin, Barnaby; Paulusma, Daniël
9
2015
Parameterized proof complexity. Zbl 1252.68151
Dantchev, Stefan; Martin, Barnaby; Szeider, Stefan
8
2011
Towards a trichotomy for quantified \(H\)-coloring. Zbl 1145.68436
Martin, Barnaby; Madelaine, Florent
6
2006
Some analytical solutions for viscometric flows of power-law fluids with heat generation and temperature dependent viscosity. Zbl 0166.21702
Martin, B.
6
1967
Distance constraint satisfaction problems. Zbl 1287.68068
Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Pinsker, Michael
4
2010
Tight rank lower bounds for the Sherali-Adams proof system. Zbl 1168.03043
Dantchev, Stefan; Martin, Barnaby; Rhodes, Mark
4
2009
Constraint satisfaction problems for reducts of homogeneous graphs. Zbl 1430.68121
Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András
4
2019
Constraint satisfaction with counting quantifiers. Zbl 1392.68206
Martin, Barnaby; Madelaine, Florent; Stacho, Juraj
4
2015
Finding vertex-surjective graph homomorphisms. Zbl 1253.68149
Golovach, Petr A.; Lidický, Bernard; Martin, Barnaby; Paulusma, Daniël
4
2012
From complexity to algebra and back: digraph classes, collapsibility, and the PGP. Zbl 1401.68115
Carvalho, Catarina; Madelaine, Florent; Martin, Barnaby
3
2015
Relativization makes contradictions harder for resolution. Zbl 1277.68093
Dantchev, Stefan; Martin, Barnaby
3
2014
First-order model checking problems parameterized by the model. Zbl 1142.68439
Martin, Barnaby
3
2008
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
The complexity of positive first-order logic without equality. Zbl 1351.68119
Madelaine, Florent; Martin, Barnaby
3
2012
Circuit satisfiability and constraint satisfaction around Skolem arithmetic. Zbl 1380.68221
Glaßer, Christian; Jonsson, Peter; Martin, Barnaby
3
2017
Finite-amplitude neutral disturbances in plane Poiseuille flow. Zbl 0363.76030
George, W. D.; Hellums, J. D.; Martin, B.
2
1974
Cutting planes and the parameter cutwidth. Zbl 1268.03080
Dantchev, Stefan; Martin, Barnaby
2
2009
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
Constraint satisfaction problems for reducts of homogeneous graphs. Zbl 1388.68102
Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András
2
2016
Surjective H-colouring over reflexive digraphs. Zbl 07228440
Larose, Benoît; Martin, Barnaby; Paulusma, Daniël
2
2018
Surjective \(H\)-colouring: new hardness results. Zbl 1425.05055
Golovach, Petr A.; Johnson, Matthew; Martin, Barnaby; Paulusma, Daniël; Stewart, Anthony
2
2019
Statistics of the three-dimensional ferromagnet. Zbl 0041.58901
ter Haar, D.; Martin, B.
2
1950
Quantified constraints and containment problems. Zbl 1448.68248
Chen, Hubie; Madelaine, Florent R.; Martin, Barnaby
2
2015
QCSP on partially reflexive cycles – the wavy line of tractability. Zbl 1381.68099
Madelaine, Florent; Martin, Barnaby
2
2013
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
Constraint satisfaction with counting quantifiers. II. Zbl 1407.68230
Martin, Barnaby; Stacho, Juraj
1
2014
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
QCSP on partially reflexive forests. Zbl 1401.68124
Martin, Barnaby
1
2011
Disconnected cuts in claw-free graphs. Zbl 1450.05073
Martin, Barnaby; Paulusma, Daniël; van Leeuwen, Erik Jan
1
2020
QCSP monsters and the demise of the Chen conjecture. Zbl 07298233
Zhuk, Dmitriy; Martin, Barnaby
1
2020
Discrete temporal constraint satisfaction problems. Zbl 1425.68135
Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine
1
2018
On the complexity of the model checking problem. Zbl 1393.68078
Madelaine, Florent R.; Martin, Barnaby D.
1
2018
The limits of tractability in resolution-based propositional proof systems. Zbl 1251.03070
Dantchev, Stefan; Martin, Barnaby
1
2012
Parameterized resolution with bounded conjunction. Zbl 1381.68096
Dantchev, Stefan; Martin, Barnaby
1
2013
Quantified constraint satisfaction problem on semicomplete digraphs. Zbl 1367.68115
Đapić, Petar; Marković, Petar; Martin, Barnaby
1
2017
Disconnected cuts in claw-free graphs. Zbl 1450.05073
Martin, Barnaby; Paulusma, Daniël; van Leeuwen, Erik Jan
1
2020
QCSP monsters and the demise of the Chen conjecture. Zbl 07298233
Zhuk, Dmitriy; Martin, Barnaby
1
2020
Constraint satisfaction problems for reducts of homogeneous graphs. Zbl 1430.68121
Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András
4
2019
Surjective \(H\)-colouring: new hardness results. Zbl 1425.05055
Golovach, Petr A.; Johnson, Matthew; Martin, Barnaby; Paulusma, Daniël; Stewart, Anthony
2
2019
Surjective H-colouring over reflexive digraphs. Zbl 07228440
Larose, Benoît; Martin, Barnaby; Paulusma, Daniël
2
2018
Discrete temporal constraint satisfaction problems. Zbl 1425.68135
Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine
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
15
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
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
Constraint satisfaction problems over the integers with successor. Zbl 1440.68111
Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine
11
2015
The computational complexity of disconnected cut and \(2 K_2\)-partition. Zbl 1307.05128
Martin, Barnaby; Paulusma, Daniël
9
2015
Constraint satisfaction with counting quantifiers. Zbl 1392.68206
Martin, Barnaby; Madelaine, Florent; Stacho, Juraj
4
2015
From complexity to algebra and back: digraph classes, collapsibility, and the PGP. Zbl 1401.68115
Carvalho, Catarina; Madelaine, Florent; Martin, Barnaby
3
2015
Quantified constraints and containment problems. Zbl 1448.68248
Chen, Hubie; Madelaine, Florent R.; Martin, Barnaby
2
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
21
2012
On the scope of the universal-algebraic approach to constraint satisfaction. Zbl 1308.68062
Bodirsky, Manuel; Hils, Martin; Martin, Barnaby
12
2012
Finding vertex-surjective graph homomorphisms. Zbl 1253.68149
Golovach, Petr A.; Lidický, Bernard; Martin, Barnaby; Paulusma, Daniël
4
2012
The complexity of positive first-order logic without equality. Zbl 1351.68119
Madelaine, Florent; Martin, Barnaby
3
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
8
2011
QCSP on partially reflexive forests. Zbl 1401.68124
Martin, Barnaby
1
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
4
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
3
2008
Towards a trichotomy for quantified \(H\)-coloring. Zbl 1145.68436
Martin, Barnaby; Madelaine, Florent
6
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.
6
1967
Statistics of the three-dimensional ferromagnet. Zbl 0041.58901
ter Haar, D.; Martin, B.
2
1950
all top 5

Cited by 142 Authors

25 Martin, Barnaby D.
17 Bodirsky, Manuel
9 Paulusma, Daniël
7 Brešar, Boštjan
7 Mottet, Antoine
7 Pinsker, Michael
6 Lauria, Massimo
5 Ferme, Jasmina
5 Jonsson, Peter A.
4 Chen, Hubie
4 Dantchev, Stefan Stoyanov
4 Dose, Titus
4 Glaßer, Christian
4 Klavžar, Sandi
4 Madelaine, Florent R.
4 Mamino, Marcello
4 Živný, Stanislav
3 Beyersdorff, Olaf
3 Galesi, Nicola
3 Golovach, Petr A.
3 Johnson, Matthew
3 Nordström, Jakob
3 Pongrácz, András
3 Zhuk, Dmitriy N.
2 Barth, Dominik
2 Barto, Libor
2 Beck, Moritz
2 Behrisch, Mike
2 Bulatov, Andrei A.
2 Gastineau, Nicolas
2 Holub, Přemysl
2 Kompatscher, Michael
2 Korže, Danilo
2 Lidický, Bernard
2 Michler, Larissa
2 Moura, Phablo F. S.
2 Olšák, Miroslav
2 Opršal, Jakub
2 Rall, Douglas F.
2 Technau, Marc
2 Thapper, Johan
2 Togni, Olivier
2 Van Leeuwen, Erik Jan
2 Vargas, Edith Mireya
2 Vesel, Aleksander
2 Wakabayashi, Yoshiko
2 Wrona, Michał
1 Atserias, Albert
1 Bidine, Ez Zobair
1 Bodor, Bertalan
1 Bonamy, Marthe
1 Börner, Ferdinand
1 Campos, Victor A.
1 Chudnovsky, Maria
1 Dabrowski, Konrad Kazimierz
1 Dalmau, Víctor
1 Dalmau, Víictor
1 Dapić, Petar
1 de Rezende, Susanna F.
1 de Sousa Filho, Gilberto F.
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
1 Gadi, Taoufiq
1 Gillibert, Pierre
1 Goldberg, Leslie Ann
1 Gomes, Guilherme C. M.
1 González-Moreno, Diego
1 Greiner, Johannes
1 Hell, Pavol
1 Hermann, Miki
1 Huang, Shenwei
1 Ibiapina, Allen
1 Ito, Takehiro
1 Jakovac, Marko
1 Jakubíková-Studenovská, Danica
1 Jeavons, Peter G.
1 Jonušas, Julius
1 Kamenická, Karolína
1 Kamiński, Marcin Marek
1 Kára, Jan
1 Kawarabayashi, Ken-ichi
1 Kchikech, Mustapha
1 Kim, Minki
1 Kloks, Ton
1 Koerkamp, Ragnar Groot
1 Krokhin, Andrei A.
1 Lagerkvist, Victor
1 Lopes, Raul H. C.
1 Lutz, Carsten
1 Manuel, Paul D.
1 Marković, Petar
1 Markuš, Žiga
1 Masařík, Tomáš
1 Mashevitzky, Grigory
1 Matl, Gregor
...and 42 more Authors

Citations by Year