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

Publications by Year

Citations contained in zbMATH Open

57 Publications have been cited 355 times in 157 Documents Cited by Year
The power of linear programming for general-valued CSPs. Zbl 1456.68059
Kolmogorov, Vladimir; Thapper, Johan; Živný, Stanislav
37
2015
The complexity of finite-valued CSPs. Zbl 1410.68177
Thapper, Johan; Živný, Stanislav
25
2016
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
24
2013
The complexity of valued constraint satisfaction problems. Zbl 1283.68024
Živný, Stanislav
19
2012
The complexity of conservative valued CSPs. Zbl 1281.68134
Kolmogorov, Vladimir; Živný, Stanislav
19
2013
Maximizing \(k\)-submodular functions and beyond. Zbl 1445.68371
Ward, Justin; Živný, Stanislav
17
2016
Hybrid tractability of valued constraint problems. Zbl 1225.68243
Cooper, Martin C.; Živný, Stanislav
15
2011
The expressive power of binary submodular functions. Zbl 1229.90093
Živný, Stanislav; Cohen, David A.; Jeavons, Peter G.
15
2009
The complexity of finite-valued CSPs. Zbl 1294.68094
Thapper, Johan; Živný, Stanislav
14
2013
The power of Sherali-Adams relaxations for general-valued CSPs. Zbl 1371.68125
Thapper, Johan; Živný, Stanislav
13
2017
Tractable triangles and cross-free convexity in discrete optimisation. Zbl 1254.90309
Cooper, M. C.; Zivny, S.
12
2012
Backdoors into heterogeneous classes of SAT and CSP. Zbl 1356.68097
Gaspers, Serge; Misra, Neeldhara; Ordyniak, Sebastian; Szeider, Stefan; Živný, Stanislav
11
2017
Improved hardness for \(H\)-colourings of \(G\)-colourable graphs. Zbl 1502.68136
Wrochna, Marcin; Živný, Stanislav
11
2020
The complexity of valued constraint satisfaction. Zbl 1409.68141
Jeavons, Peter; Krokhin, Andrei; Živný, Stanislav
10
2014
Sherali-Adams relaxations for valued CSPs. Zbl 1440.68132
Thapper, Johan; Živný, Stanislav
8
2015
Classes of submodular constraints expressible by graph cuts. Zbl 1208.68196
Živný, Stanislav; Jeavons, Peter G.
8
2010
Variable and value elimination in binary constraint satisfaction via forbidden patterns. Zbl 1320.68168
Cohen, David A.; Cooper, Martin C.; Escamocher, Guillaume; Živný, Stanislav
7
2015
The power of the combined basic linear programming and affine relaxation for promise constraint satisfaction problems. Zbl 1496.68255
Brakensiek, Joshua; Guruswami, Venkatesan; Wrochna, Marcin; Živný, Stanislav
6
2020
The complexity of valued CSPs. Zbl 1482.68165
Krokhin, Andrei; Zivny, Stanislav
6
2017
Necessary conditions for tractability of valued CSPs. Zbl 1347.08009
Thapper, Johan; Živný, Stanislav
5
2015
Maximizing bisubmodular and \(k\)-submodular functions. Zbl 1422.68315
Ward, Justin; Živný, Stanislav
5
2014
The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68118
Cooper, Martin C.; Živný, Stanislav
4
2016
The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68117
Cooper, Martin C.; Živný, Stanislav
4
2017
A Galois connection for weighted (relational) clones of infinite size. Zbl 1427.68120
Fulla, Peter; Živný, Stanislav
4
2016
The complexity of Boolean surjective general-valued CSPs. Zbl 1441.68091
Fulla, Peter; Uppman, Hannes; Živný, Stanislav
4
2019
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
A Galois connection for valued constraint languages of infinite size. Zbl 1440.68115
Fulla, Peter; Živný, Stanislav
3
2015
Binarisation for valued constraint satisfaction problems. Zbl 1477.68121
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei; Powell, Robert; Živný, Stanislav
3
2017
The limits of SDP relaxations for general-valued CSPs. Zbl 1452.90279
Thapper, Johan; Živný, Stanislav
3
2017
The complexity of promise SAT on non-Boolean domains. Zbl 1495.68157
Brandts, Alex; Wrochna, Marcin; Živný, Stanislav
3
2021
On planar valued CSPs. Zbl 1398.68232
Fulla, Peter; Živný, Stanislav
2
2016
The expressive power of valued constraints: Hierarchies and collapses. Zbl 1157.68061
Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav
2
2008
The constraint satisfaction problem: complexity and approximability, Dagstuhl seminar 15301, July 2015. Zbl 1375.68019
2
2017
Functional clones and expressibility of partition functions. Zbl 1418.08001
Bulatov, Andrei; Goldberg, Leslie Ann; Jerrum, Mark; Richerby, David; Živný, Stanislav
2
2017
The limits of SDP relaxations for general-valued CSPs. Zbl 1427.90245
Thapper, Johan; Živný, Stanislav
2
2018
On singleton arc consistency for CSPs defined by monotone patterns. Zbl 1421.68151
Carbonnel, Clément; Cohen, David A.; Cooper, Martin C.; Živný, Stanislav
2
2019
Hybrid tractable classes of constraint problems. Zbl 1482.68107
Cooper, Martin C.; Zivny, Stanislav
2
2017
Sparsification of binary CSPs. Zbl 07559126
Butti, Silvia; Živný, Stanislav
2
2019
Discrete convexity in joint winner property. Zbl 1506.90225
Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav
2
2018
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
The expressive power of valued constraints: Hierarchies and collapses. Zbl 1146.68455
Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav
1
2007
Point-width and max-CSPs. Zbl 07678786
Carbonnel, Clément; Romero, Miguel; Živný, Stanislav
1
2020
The complexity of approximately counting retractions. Zbl 1432.68179
Focke, Jacob; Goldberg, Leslie Ann; Živný, Stanislav
1
2019
A tractable class of binary VCSPs via M-convex intersection. Zbl 1454.68058
Hirai, Hiroshi; Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav
1
2019
The complexity of conservative valued CSPs. Zbl 1423.68215
Kolmogorov, Vladimir; Živný, Stanislav
1
2012
QCSP on reflexive tournaments. Zbl 07740913
Larose, Benoît; Marković, Petar; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; Żivný, Stanislav
1
2021
On singleton arc consistency for CSPs defined by monotone patterns. Zbl 1487.68208
Carbonnel, Clément; Cohen, David A.; Cooper, Martin C.; Živný, Stanislav
1
2018
Beyond JWP: a tractable class of binary VCSPs via M-convex intersection. Zbl 1454.68059
Hirai, Hiroshi; Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav
1
2018
Structural properties of oracle classes. Zbl 1206.68134
Živný, Stanislav
1
2009
Approximate counting CSP seen from the other side. Zbl 1499.68239
Bulatov, Andrei A.; Živný, Stanislav
1
2020
Beyond PCSP (1-in-3, NAE). Zbl 07629147
Brandts, Alex; Živný, Stanislav
1
2022
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 1440.68116
Fulla, Peter; Živný, Stanislav
1
2017
The complexity of general-valued constraint satisfaction problems seen from the other side. Zbl 07470541
Carbonnel, Clément; Romero, Miguel; Živný, Stanislav
1
2022
The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains. Zbl 07475101
Viola, Caterina; Živný, Stanislav
1
2021
On rainbow-free colourings of uniform hypergraphs. Zbl 1517.05127
Groot Koerkamp, Ragnar; Živný, Stanislav
1
2021
Beyond PCSP (1-in-3, NAE). Zbl 07629147
Brandts, Alex; Živný, Stanislav
1
2022
The complexity of general-valued constraint satisfaction problems seen from the other side. Zbl 07470541
Carbonnel, Clément; Romero, Miguel; Živný, Stanislav
1
2022
The complexity of promise SAT on non-Boolean domains. Zbl 1495.68157
Brandts, Alex; Wrochna, Marcin; Živný, Stanislav
3
2021
QCSP on reflexive tournaments. Zbl 07740913
Larose, Benoît; Marković, Petar; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; Żivný, Stanislav
1
2021
The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains. Zbl 07475101
Viola, Caterina; Živný, Stanislav
1
2021
On rainbow-free colourings of uniform hypergraphs. Zbl 1517.05127
Groot Koerkamp, Ragnar; Živný, Stanislav
1
2021
Improved hardness for \(H\)-colourings of \(G\)-colourable graphs. Zbl 1502.68136
Wrochna, Marcin; Živný, Stanislav
11
2020
The power of the combined basic linear programming and affine relaxation for promise constraint satisfaction problems. Zbl 1496.68255
Brakensiek, Joshua; Guruswami, Venkatesan; Wrochna, Marcin; Živný, Stanislav
6
2020
Point-width and max-CSPs. Zbl 07678786
Carbonnel, Clément; Romero, Miguel; Živný, Stanislav
1
2020
Approximate counting CSP seen from the other side. Zbl 1499.68239
Bulatov, Andrei A.; Ž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
4
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
2
2019
Sparsification of binary CSPs. Zbl 07559126
Butti, Silvia; Ž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
A tractable class of binary VCSPs via M-convex intersection. Zbl 1454.68058
Hirai, Hiroshi; Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav
1
2019
The limits of SDP relaxations for general-valued CSPs. Zbl 1427.90245
Thapper, Johan; Živný, Stanislav
2
2018
Discrete convexity in joint winner property. Zbl 1506.90225
Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav
2
2018
On singleton arc consistency for CSPs defined by monotone patterns. Zbl 1487.68208
Carbonnel, Clément; Cohen, David A.; Cooper, Martin C.; Živný, Stanislav
1
2018
Beyond JWP: a tractable class of binary VCSPs via M-convex intersection. Zbl 1454.68059
Hirai, Hiroshi; 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
13
2017
Backdoors into heterogeneous classes of SAT and CSP. Zbl 1356.68097
Gaspers, Serge; Misra, Neeldhara; Ordyniak, Sebastian; Szeider, Stefan; Živný, Stanislav
11
2017
The complexity of valued CSPs. Zbl 1482.68165
Krokhin, Andrei; Zivny, Stanislav
6
2017
The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68117
Cooper, Martin C.; Živný, Stanislav
4
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
3
2017
The limits of SDP relaxations for general-valued CSPs. Zbl 1452.90279
Thapper, Johan; Živný, Stanislav
3
2017
The constraint satisfaction problem: complexity and approximability, Dagstuhl seminar 15301, July 2015. Zbl 1375.68019
2
2017
Functional clones and expressibility of partition functions. Zbl 1418.08001
Bulatov, Andrei; Goldberg, Leslie Ann; Jerrum, Mark; Richerby, David; Živný, Stanislav
2
2017
Hybrid tractable classes of constraint problems. Zbl 1482.68107
Cooper, Martin C.; Zivny, Stanislav
2
2017
The complexity of Boolean surjective general-valued CSPs. Zbl 1440.68116
Fulla, Peter; Živný, Stanislav
1
2017
The complexity of finite-valued CSPs. Zbl 1410.68177
Thapper, Johan; Živný, Stanislav
25
2016
Maximizing \(k\)-submodular functions and beyond. Zbl 1445.68371
Ward, Justin; Živný, Stanislav
17
2016
The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68118
Cooper, Martin C.; Živný, Stanislav
4
2016
A Galois connection for weighted (relational) clones of infinite size. Zbl 1427.68120
Fulla, Peter; Živný, Stanislav
4
2016
On planar valued CSPs. Zbl 1398.68232
Fulla, Peter; Živný, Stanislav
2
2016
The power of linear programming for general-valued CSPs. Zbl 1456.68059
Kolmogorov, Vladimir; Thapper, Johan; Živný, Stanislav
37
2015
Sherali-Adams relaxations for valued CSPs. Zbl 1440.68132
Thapper, Johan; Živný, Stanislav
8
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
7
2015
Necessary conditions for tractability of valued CSPs. Zbl 1347.08009
Thapper, Johan; Živný, Stanislav
5
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
10
2014
Maximizing bisubmodular and \(k\)-submodular functions. Zbl 1422.68315
Ward, Justin; Živný, Stanislav
5
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
24
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
14
2013
The complexity of valued constraint satisfaction problems. Zbl 1283.68024
Živný, Stanislav
19
2012
Tractable triangles and cross-free convexity in discrete optimisation. Zbl 1254.90309
Cooper, M. C.; Zivny, S.
12
2012
The complexity of conservative valued CSPs. Zbl 1423.68215
Kolmogorov, Vladimir; Živný, Stanislav
1
2012
Hybrid tractability of valued constraint problems. Zbl 1225.68243
Cooper, Martin C.; Živný, Stanislav
15
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.
8
2010
The expressive power of binary submodular functions. Zbl 1229.90093
Živný, Stanislav; Cohen, David A.; Jeavons, Peter G.
15
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
The expressive power of valued constraints: Hierarchies and collapses. Zbl 1146.68455
Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav
1
2007
all top 5

Cited by 219 Authors

34 Živný, Stanislav
12 Hirai, Hiroshi
11 Cooper, Martin C.
10 Cohen, David A.
9 Jeavons, Peter G.
8 Iwamasa, Yuni
7 Krokhin, Andrei A.
7 Ordyniak, Sebastian
7 Szeider, Stefan
6 Ganian, Robert
5 Guruswami, Venkatesan
4 Escamocher, Guillaume
4 Goldberg, Leslie Ann
4 Kolmogorov, Vladimir
4 Kurpisz, Adam
4 Tang, Zhongzheng
4 Thapper, Johan
4 Viola, Caterina
4 Wang, Chenhao
4 Wrochna, Marcin
3 Bodirsky, Manuel
3 Brakensiek, Joshua
3 Carbonnel, Clément
3 Dalmau, Víctor
3 Eiben, Eduard
3 Fujishige, Satoru
3 Fulla, Peter
3 Haviv, Ishay
3 Werner, Tomáš
2 Backens, Miriam
2 Barto, Libor
2 Bulatov, Andrei A.
2 Cabrera, Inma P.
2 Chan, Hau
2 Chen, Jingwen
2 Cordero, Pablo
2 de Wolff, Timo
2 Dlask, Tomáš
2 Dreier, Jan
2 Dressler, Mareike
2 El Mouelhi, Achref
2 García-Pardo, Francisca
2 Greco, Gianluigi
2 Guo, Jianxiong
2 Jerrum, Mark R.
2 Kozik, Marcin
2 Larose, Benoit
2 Mamino, Marcello
2 Matl, Gregor
2 Mcquillan, Colin
2 Meier, Arne
2 Mizutani, Ryuhei
2 Murota, Kazuo
2 Ni, Qiufen
2 Ochremiak, Joanna
2 Ojeda-Aciego, Manuel
2 Oki, Taihei
2 Opršal, Jakub
2 Rodríguez-Sanchez, Francisco Joaquin
2 Roth, Marc
2 Sandeep, Sai
2 Scarcello, Francesco
2 Takhanov, Rustem
2 Tanigawa, Shin-ichi
2 Wahlström, Magnus
2 Wang, Yijing
2 Wu, Weili
2 Yoshida, Yuichi
2 Zanuttini, Bruno
1 Anthony, Martin H. G.
1 Atserias, Albert
1 Benson, Austin R.
1 Bilmes, Jeff A.
1 Boros, Endre
1 Brandts, Alex
1 Briceño, Raimundo
1 Butti, Silvia
1 Chawin, Dror
1 Chen, Hubie
1 Chen, Rong
1 Chen, Xi
1 Cheng, Raymond
1 Chernyak, Vladimir Y.
1 Chertkov, Michael
1 Ciardo, Lorenzo
1 Crama, Yves
1 Cui, Jinchuan
1 Davies, Sami
1 de Givry, Simon
1 Deng, Guofeng
1 Duchein, Aymeric
1 Dvořák, Pavel
1 Dyer, Martin E.
1 Feng, Chao
1 Flach, Boris
1 Focke, Jacob
1 Fujii, Soichiro
1 Gao, Jian
1 Gaspers, Serge
1 Golovnev, Alexander
...and 119 more Authors
all top 5

Cited in 41 Serials

14 SIAM Journal on Computing
10 Discrete Applied Mathematics
10 SIAM Journal on Discrete Mathematics
8 Constraints
7 Algorithmica
6 Artificial Intelligence
6 Journal of Computer and System Sciences
6 Theoretical Computer Science
5 Discrete Optimization
4 Mathematical Programming. Series A. Series B
3 Information and Computation
3 Journal of Combinatorial Optimization
2 Algebra Universalis
2 Journal of Combinatorial Theory. Series B
2 International Journal of Algebra and Computation
2 The Journal of Artificial Intelligence Research (JAIR)
2 Annals of Mathematics and Artificial Intelligence
2 ACM Transactions on Algorithms
1 Communications in Mathematical Physics
1 Information Processing Letters
1 Journal of Mathematical Analysis and Applications
1 Information Sciences
1 Operations Research Letters
1 Order
1 Acta Mathematicae Applicatae Sinica. English Series
1 Journal of Complexity
1 Linear Algebra and its Applications
1 Proceedings of the National Academy of Sciences of the United States of America
1 SIAM Review
1 SIAM Journal on Optimization
1 Cybernetics and Systems Analysis
1 The Bulletin of Symbolic Logic
1 Chicago Journal of Theoretical Computer Science
1 Journal of Mathematical Logic
1 Foundations of Computational Mathematics
1 ACM Transactions on Computational Logic
1 Journal of Statistical Mechanics: Theory and Experiment
1 Mathematical Geosciences
1 Discrete Mathematics, Algorithms and Applications
1 Theory of Computing
1 SN Operations Research Forum

Citations by Year