×
Compute Distance To:
Author ID: zivny.stanislav Recent zbMATH articles by "Živný, Stanislav"
Published as: Živný, Stanislav; Zivny, Stanislav; Zivny, S.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

37 Publications have been cited 219 times in 93 Documents Cited by Year
The power of linear programming for general-valued CSPs. Zbl 1456.68059
Kolmogorov, Vladimir; Thapper, Johan; Živný, Stanislav
27
2015
An algebraic theory of complexity for discrete optimization. Zbl 1305.08007
Cohen, David A.; Cooper, Martin C.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav
20
2013
The complexity of conservative valued CSPs. Zbl 1281.68134
Kolmogorov, Vladimir; Živný, Stanislav
19
2013
The complexity of finite-valued CSPs. Zbl 1410.68177
Thapper, Johan; Živný, Stanislav
14
2016
Hybrid tractability of valued constraint problems. Zbl 1225.68243
Cooper, Martin C.; Živný, Stanislav
13
2011
The expressive power of binary submodular functions. Zbl 1229.90093
Živný, Stanislav; Cohen, David A.; Jeavons, Peter G.
13
2009
The complexity of finite-valued CSPs. Zbl 1294.68094
Thapper, Johan; Živný, Stanislav
13
2013
The complexity of valued constraint satisfaction problems. Zbl 1283.68024
Živný, Stanislav
11
2012
Tractable triangles and cross-free convexity in discrete optimisation. Zbl 1254.90309
Cooper, M. C.; Zivny, S.
8
2012
The power of Sherali-Adams relaxations for general-valued CSPs. Zbl 1371.68125
Thapper, Johan; Živný, Stanislav
8
2017
Sherali-Adams relaxations for valued CSPs. Zbl 1440.68132
Thapper, Johan; Živný, Stanislav
7
2015
Classes of submodular constraints expressible by graph cuts. Zbl 1208.68196
Živný, Stanislav; Jeavons, Peter G.
7
2010
Backdoors into heterogeneous classes of SAT and CSP. Zbl 1356.68097
Gaspers, Serge; Misra, Neeldhara; Ordyniak, Sebastian; Szeider, Stefan; Živný, Stanislav
7
2017
Necessary conditions for tractability of valued CSPs. Zbl 1347.08009
Thapper, Johan; Živný, Stanislav
6
2015
Variable and value elimination in binary constraint satisfaction via forbidden patterns. Zbl 1320.68168
Cohen, David A.; Cooper, Martin C.; Escamocher, Guillaume; Živný, Stanislav
6
2015
Maximizing \(k\)-submodular functions and beyond. Zbl 1445.68371
Ward, Justin; Živný, Stanislav
5
2016
A Galois connection for valued constraint languages of infinite size. Zbl 1440.68115
Fulla, Peter; Živný, Stanislav
3
2015
An algebraic theory of complexity for valued constraints: establishing a Galois connection. Zbl 1343.68106
Cohen, David A.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav
3
2011
The complexity of valued constraint satisfaction. Zbl 1409.68141
Jeavons, Peter; Krokhin, Andrei; Živný, Stanislav
3
2014
The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68118
Cooper, Martin C.; Živný, Stanislav
3
2016
The expressive power of valued constraints: Hierarchies and collapses. Zbl 1157.68061
Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav
2
2008
Binarisation for valued constraint satisfaction problems. Zbl 1477.68121
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei; Powell, Robert; Živný, Stanislav
2
2017
The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68117
Cooper, Martin C.; Živný, Stanislav
2
2017
On planar valued CSPs. Zbl 1398.68232
Fulla, Peter; Živný, Stanislav
2
2016
The complexity of Boolean surjective general-valued CSPs. Zbl 1441.68091
Fulla, Peter; Uppman, Hannes; Živný, Stanislav
2
2019
Binary constraint satisfaction problems defined by excluded topological minors. Zbl 1408.68130
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav
2
2019
The expressive power of binary submodular functions. Zbl 1250.68122
Živný, Stanislav; Cohen, David A.; Jeavons, Peter G.
1
2009
Structural properties of oracle classes. Zbl 1206.68134
Živný, Stanislav
1
2009
Discrete convexity in joint winner property. Zbl 06920229
Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav
1
2018
The power of the combined basic linear programming and affine relaxation for promise constraint satisfaction problems. Zbl 07282219
Brakensiek, Joshua; Guruswami, Venkatesan; Wrochna, Marcin; Živný, Stanislav
1
2020
The complexity of approximately counting retractions. Zbl 1432.68179
Focke, Jacob; Goldberg, Leslie Ann; Živný, Stanislav
1
2019
The constraint satisfaction problem: complexity and approximability, Dagstuhl seminar 15301, July 2015. Zbl 1375.68019
1
2017
A Galois connection for weighted (relational) clones of infinite size. Zbl 1427.68120
Fulla, Peter; Živný, Stanislav
1
2016
On singleton arc consistency for CSPs defined by monotone patterns. Zbl 1421.68151
Carbonnel, Clément; Cohen, David A.; Cooper, Martin C.; Živný, Stanislav
1
2019
Maximizing bisubmodular and \(k\)-submodular functions. Zbl 1422.68315
Ward, Justin; Živný, Stanislav
1
2014
Functional clones and expressibility of partition functions. Zbl 1418.08001
Bulatov, Andrei; Goldberg, Leslie Ann; Jerrum, Mark; Richerby, David; Živný, Stanislav
1
2017
Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin. Zbl 1435.68221
Backens, Miriam; Bulatov, Andrei; Goldberg, Leslie Ann; McQuillan, Colin; Živný, Stanislav
1
2020
The power of the combined basic linear programming and affine relaxation for promise constraint satisfaction problems. Zbl 07282219
Brakensiek, Joshua; Guruswami, Venkatesan; Wrochna, Marcin; Živný, Stanislav
1
2020
Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin. Zbl 1435.68221
Backens, Miriam; Bulatov, Andrei; Goldberg, Leslie Ann; McQuillan, Colin; Živný, Stanislav
1
2020
The complexity of Boolean surjective general-valued CSPs. Zbl 1441.68091
Fulla, Peter; Uppman, Hannes; Živný, Stanislav
2
2019
Binary constraint satisfaction problems defined by excluded topological minors. Zbl 1408.68130
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav
2
2019
The complexity of approximately counting retractions. Zbl 1432.68179
Focke, Jacob; Goldberg, Leslie Ann; Živný, Stanislav
1
2019
On singleton arc consistency for CSPs defined by monotone patterns. Zbl 1421.68151
Carbonnel, Clément; Cohen, David A.; Cooper, Martin C.; Živný, Stanislav
1
2019
Discrete convexity in joint winner property. Zbl 06920229
Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav
1
2018
The power of Sherali-Adams relaxations for general-valued CSPs. Zbl 1371.68125
Thapper, Johan; Živný, Stanislav
8
2017
Backdoors into heterogeneous classes of SAT and CSP. Zbl 1356.68097
Gaspers, Serge; Misra, Neeldhara; Ordyniak, Sebastian; Szeider, Stefan; Živný, Stanislav
7
2017
Binarisation for valued constraint satisfaction problems. Zbl 1477.68121
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei; Powell, Robert; Živný, Stanislav
2
2017
The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68117
Cooper, Martin C.; Živný, Stanislav
2
2017
The constraint satisfaction problem: complexity and approximability, Dagstuhl seminar 15301, July 2015. Zbl 1375.68019
1
2017
Functional clones and expressibility of partition functions. Zbl 1418.08001
Bulatov, Andrei; Goldberg, Leslie Ann; Jerrum, Mark; Richerby, David; Živný, Stanislav
1
2017
The complexity of finite-valued CSPs. Zbl 1410.68177
Thapper, Johan; Živný, Stanislav
14
2016
Maximizing \(k\)-submodular functions and beyond. Zbl 1445.68371
Ward, Justin; Živný, Stanislav
5
2016
The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68118
Cooper, Martin C.; Živný, Stanislav
3
2016
On planar valued CSPs. Zbl 1398.68232
Fulla, Peter; Živný, Stanislav
2
2016
A Galois connection for weighted (relational) clones of infinite size. Zbl 1427.68120
Fulla, Peter; Živný, Stanislav
1
2016
The power of linear programming for general-valued CSPs. Zbl 1456.68059
Kolmogorov, Vladimir; Thapper, Johan; Živný, Stanislav
27
2015
Sherali-Adams relaxations for valued CSPs. Zbl 1440.68132
Thapper, Johan; Živný, Stanislav
7
2015
Necessary conditions for tractability of valued CSPs. Zbl 1347.08009
Thapper, Johan; Živný, Stanislav
6
2015
Variable and value elimination in binary constraint satisfaction via forbidden patterns. Zbl 1320.68168
Cohen, David A.; Cooper, Martin C.; Escamocher, Guillaume; Živný, Stanislav
6
2015
A Galois connection for valued constraint languages of infinite size. Zbl 1440.68115
Fulla, Peter; Živný, Stanislav
3
2015
The complexity of valued constraint satisfaction. Zbl 1409.68141
Jeavons, Peter; Krokhin, Andrei; Živný, Stanislav
3
2014
Maximizing bisubmodular and \(k\)-submodular functions. Zbl 1422.68315
Ward, Justin; Živný, Stanislav
1
2014
An algebraic theory of complexity for discrete optimization. Zbl 1305.08007
Cohen, David A.; Cooper, Martin C.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav
20
2013
The complexity of conservative valued CSPs. Zbl 1281.68134
Kolmogorov, Vladimir; Živný, Stanislav
19
2013
The complexity of finite-valued CSPs. Zbl 1294.68094
Thapper, Johan; Živný, Stanislav
13
2013
The complexity of valued constraint satisfaction problems. Zbl 1283.68024
Živný, Stanislav
11
2012
Tractable triangles and cross-free convexity in discrete optimisation. Zbl 1254.90309
Cooper, M. C.; Zivny, S.
8
2012
Hybrid tractability of valued constraint problems. Zbl 1225.68243
Cooper, Martin C.; Živný, Stanislav
13
2011
An algebraic theory of complexity for valued constraints: establishing a Galois connection. Zbl 1343.68106
Cohen, David A.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav
3
2011
Classes of submodular constraints expressible by graph cuts. Zbl 1208.68196
Živný, Stanislav; Jeavons, Peter G.
7
2010
The expressive power of binary submodular functions. Zbl 1229.90093
Živný, Stanislav; Cohen, David A.; Jeavons, Peter G.
13
2009
The expressive power of binary submodular functions. Zbl 1250.68122
Živný, Stanislav; Cohen, David A.; Jeavons, Peter G.
1
2009
Structural properties of oracle classes. Zbl 1206.68134
Živný, Stanislav
1
2009
The expressive power of valued constraints: Hierarchies and collapses. Zbl 1157.68061
Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav
2
2008
all top 5

Cited by 137 Authors

24 Živný, Stanislav
10 Cooper, Martin C.
9 Cohen, David A.
9 Hirai, Hiroshi
8 Jeavons, Peter G.
6 Krokhin, Andrei A.
5 Ganian, Robert
5 Iwamasa, Yuni
4 Goldberg, Leslie Ann
4 Ordyniak, Sebastian
4 Szeider, Stefan
4 Thapper, Johan
3 Carbonnel, Clément
3 Dalmau, Víctor
3 Escamocher, Guillaume
3 Kolmogorov, Vladimir
2 Barto, Libor
2 Bodirsky, Manuel
2 Bulatov, Andrei A.
2 Cabrera, Inma P.
2 Cordero, Pablo
2 Eiben, Eduard
2 El Mouelhi, Achref
2 Fulla, Peter
2 García-Pardo, Francisca
2 Greco, Gianluigi
2 Guruswami, Venkatesan
2 Jerrum, Mark R.
2 Kozik, Marcin
2 Mcquillan, Colin
2 Ojeda-Aciego, Manuel
2 Oki, Taihei
2 Rodríguez-Sanchez, Francisco Joaquin
2 Roth, Marc
2 Scarcello, Francesco
2 Wrochna, Marcin
2 Wu, Weili
2 Yoshida, Yuichi
2 Zanuttini, Bruno
1 Anthony, Martin H. G.
1 Backens, Miriam
1 Bilmes, Jeff A.
1 Boros, Endre
1 Brakensiek, Joshua
1 Briceño, Raimundo
1 Chan, Hau
1 Chen, Hubie
1 Chen, Rong
1 Chen, Xi
1 Chernyak, Vladimir Y.
1 Chertkov, Michael
1 Crama, Yves
1 Cui, Jinchuan
1 Deng, Guofeng
1 Duchein, Aymeric
1 Dvořák, Pavel
1 Dyer, Martin E.
1 Focke, Jacob
1 Fujishige, Satoru
1 Gao, Jian
1 Gaspers, Serge
1 Gruber, Aritanan
1 Gu, Shuyang
1 Guo, Jianxiong
1 Helaoui, Maher
1 Hell, Pavol
1 Huang, Chuanhe
1 Iwata, Yoichi
1 Jegelka, Stefanie
1 Kahl, Fredrik
1 Kawarabayashi, Ken-ichi
1 Kaznatcheev, Artem
1 Klute, Fabian
1 Knop, Dušan
1 Kronegger, Martin
1 Kroupa, Tomáš
1 Küçükyavuz, Simge
1 Ladický, L’ubor
1 Larose, Benoit
1 Lu, Pinyan
1 Mahmood, Yasir
1 Makarychev, Konstantin S.
1 Makarychev, Yury S.
1 Mamino, Marcello
1 Manders, Trevor
1 Manokaran, Rajsekar
1 Martin, Barnaby D.
1 Matl, Gregor
1 Maximov, Yury
1 Mayr, Peter
1 Meier, Arne
1 Mizutani, Ryuhei
1 Montanaro, Ashley
1 Murota, Kazuo
1 Naanaa, Wady
1 Nakashima, So
1 Nakkirt, Poramate
1 Nevisi, Mayssam Mohammadi
1 Ni, Qiufen
1 Ochremiak, Joanna
...and 37 more Authors

Citations by Year