Edit Profile (opens in new tab) Živný, Stanislav Compute Distance To: Compute Author ID: zivny.stanislav Published as: Živný, Stanislav; Zivny, Stanislav; Zivny, S. more...less External Links: MGP Documents Indexed: 67 Publications since 2007, including 1 Book 1 Contribution as Editor Co-Authors: 37 Co-Authors with 66 Joint Publications 732 Co-Co-Authors all top 5 Co-Authors 2 single-authored 12 Cohen, David A. 12 Cooper, Martin C. 11 Jeavons, Peter G. 8 Goldberg, Leslie Ann 8 Thapper, Johan 6 Focke, Jacob 6 Fulla, Peter 4 Bulatov, Andrei A. 4 Krokhin, Andrei A. 3 Carbonnel, Clément 3 Iwamasa, Yuni 3 Kolmogorov, Vladimir 3 Murota, Kazuo 3 Wrochna, Marcin 2 Brandts, Alex 2 Butti, Silvia 2 Creed, Páidí 2 Hirai, Hiroshi 2 Matl, Gregor 2 Viola, Caterina 2 Ward, Justin 1 Backens, Miriam 1 Brakensiek, Joshua 1 Escamocher, Guillaume 1 Gaspers, Serge 1 Guruswami, Venkatesan 1 Jerrum, Mark R. 1 Koerkamp, Ragnar Groot 1 Mcquillan, Colin 1 Misra, Neeldhara 1 Ordyniak, Sebastian 1 Richerby, David M. 1 Romero, Miguel 1 Roth, Marc 1 Szeider, Stefan 1 Uppman, Hannes 1 Zanuttini, Bruno all top 5 Serials 6 ACM Transactions on Computation Theory 5 SIAM Journal on Computing 5 SIAM Journal on Discrete Mathematics 4 Journal of Computer and System Sciences 4 ACM Transactions on Algorithms 3 Theoretical Computer Science 2 Information Processing Letters 2 Algorithmica 2 Information and Computation 2 Journal of the ACM 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 The Journal of Artificial Intelligence Research (JAIR) 1 Constraints 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Discrete Optimization 1 Logical Methods in Computer Science 1 Dagstuhl Follow-Ups 1 Cognitive Technologies all top 5 Fields 62 Computer science (68-XX) 24 Operations research, mathematical programming (90-XX) 12 General algebraic systems (08-XX) 9 Combinatorics (05-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 2 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Category theory; homological algebra (18-XX) 1 Manifolds and cell complexes (57-XX) 1 Statistical mechanics, structure of matter (82-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 42 Publications have been cited 261 times in 113 Documents Cited by ▼ Year ▼ The power of linear programming for general-valued CSPs. Zbl 1456.68059Kolmogorov, Vladimir; Thapper, Johan; Živný, Stanislav 32 2015 An algebraic theory of complexity for discrete optimization. Zbl 1305.08007Cohen, David A.; Cooper, Martin C.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav 23 2013 The complexity of finite-valued CSPs. Zbl 1410.68177Thapper, Johan; Živný, Stanislav 20 2016 The complexity of conservative valued CSPs. Zbl 1281.68134Kolmogorov, Vladimir; Živný, Stanislav 19 2013 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.68094Thapper, Johan; Živný, Stanislav 14 2013 Hybrid tractability of valued constraint problems. Zbl 1225.68243Cooper, Martin C.; Živný, Stanislav 13 2011 The complexity of valued constraint satisfaction problems. Zbl 1283.68024Živný, Stanislav 12 2012 Tractable triangles and cross-free convexity in discrete optimisation. Zbl 1254.90309Cooper, M. C.; Zivny, S. 10 2012 The power of Sherali-Adams relaxations for general-valued CSPs. Zbl 1371.68125Thapper, Johan; Živný, Stanislav 9 2017 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.68168Cohen, David A.; Cooper, Martin C.; Escamocher, Guillaume; Živný, Stanislav 7 2015 Backdoors into heterogeneous classes of SAT and CSP. Zbl 1356.68097Gaspers, Serge; Misra, Neeldhara; Ordyniak, Sebastian; Szeider, Stefan; Živný, Stanislav 7 2017 Sherali-Adams relaxations for valued CSPs. Zbl 1440.68132Thapper, Johan; Živný, Stanislav 7 2015 Maximizing \(k\)-submodular functions and beyond. Zbl 1445.68371Ward, Justin; Živný, Stanislav 6 2016 Necessary conditions for tractability of valued CSPs. Zbl 1347.08009Thapper, Johan; Živný, Stanislav 6 2015 Improved hardness for \(H\)-colourings of \(G\)-colourable graphs. Zbl 1502.68136Wrochna, Marcin; Živný, Stanislav 4 2020 The complexity of Boolean surjective general-valued CSPs. Zbl 1441.68091Fulla, Peter; Uppman, Hannes; Živný, Stanislav 3 2019 The power of the combined basic linear programming and affine relaxation for promise constraint satisfaction problems. Zbl 1496.68255Brakensiek, Joshua; Guruswami, Venkatesan; Wrochna, Marcin; Živný, Stanislav 3 2020 The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68117Cooper, Martin C.; Živný, Stanislav 3 2017 Binarisation for valued constraint satisfaction problems. Zbl 1477.68121Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei; Powell, Robert; Živný, Stanislav 3 2017 The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68118Cooper, Martin C.; Živný, Stanislav 3 2016 Maximizing bisubmodular and \(k\)-submodular functions. Zbl 1422.68315Ward, Justin; Živný, Stanislav 3 2014 The complexity of valued constraint satisfaction. Zbl 1409.68141Jeavons, Peter; Krokhin, Andrei; Živný, Stanislav 3 2014 An algebraic theory of complexity for valued constraints: establishing a Galois connection. Zbl 1343.68106Cohen, David A.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav 3 2011 A Galois connection for valued constraint languages of infinite size. Zbl 1440.68115Fulla, Peter; Živný, Stanislav 3 2015 Binary constraint satisfaction problems defined by excluded topological minors. Zbl 1408.68130Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav 2 2019 A Galois connection for weighted (relational) clones of infinite size. Zbl 1427.68120Fulla, Peter; Živný, Stanislav 2 2016 On singleton arc consistency for CSPs defined by monotone patterns. Zbl 1421.68151Carbonnel, Clément; Cohen, David A.; Cooper, Martin C.; Živný, Stanislav 2 2019 On planar valued CSPs. Zbl 1398.68232Fulla, Peter; Živný, Stanislav 2 2016 Functional clones and expressibility of partition functions. Zbl 1418.08001Bulatov, Andrei; Goldberg, Leslie Ann; Jerrum, Mark; Richerby, David; Živný, Stanislav 2 2017 The expressive power of valued constraints: Hierarchies and collapses. Zbl 1157.68061Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav 2 2008 The limits of SDP relaxations for general-valued CSPs. Zbl 1427.90245Thapper, Johan; Živný, Stanislav 1 2018 A tractable class of binary VCSPs via M-convex intersection. Zbl 1454.68058Hirai, Hiroshi; Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav 1 2019 The limits of SDP relaxations for general-valued CSPs. Zbl 1452.90279Thapper, Johan; Živný, Stanislav 1 2017 Discrete convexity in joint winner property. Zbl 06920229Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav 1 2018 The constraint satisfaction problem: complexity and approximability, Dagstuhl seminar 15301, July 2015. Zbl 1375.68019 1 2017 The expressive power of binary submodular functions. Zbl 1250.68122Živný, Stanislav; Cohen, David A.; Jeavons, Peter G. 1 2009 The complexity of approximately counting retractions. Zbl 1432.68179Focke, Jacob; Goldberg, Leslie Ann; Živný, Stanislav 1 2019 The complexity of valued CSPs. Zbl 1482.68165Krokhin, Andrei; Zivny, Stanislav 1 2017 Structural properties of oracle classes. Zbl 1206.68134Živný, Stanislav 1 2009 Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin. Zbl 1435.68221Backens, Miriam; Bulatov, Andrei; Goldberg, Leslie Ann; McQuillan, Colin; Živný, Stanislav 1 2020 Improved hardness for \(H\)-colourings of \(G\)-colourable graphs. Zbl 1502.68136Wrochna, Marcin; Živný, Stanislav 4 2020 The power of the combined basic linear programming and affine relaxation for promise constraint satisfaction problems. Zbl 1496.68255Brakensiek, Joshua; Guruswami, Venkatesan; Wrochna, Marcin; Živný, Stanislav 3 2020 Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin. Zbl 1435.68221Backens, Miriam; Bulatov, Andrei; Goldberg, Leslie Ann; McQuillan, Colin; Živný, Stanislav 1 2020 The complexity of Boolean surjective general-valued CSPs. Zbl 1441.68091Fulla, Peter; Uppman, Hannes; Živný, Stanislav 3 2019 Binary constraint satisfaction problems defined by excluded topological minors. Zbl 1408.68130Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav 2 2019 On singleton arc consistency for CSPs defined by monotone patterns. Zbl 1421.68151Carbonnel, Clément; Cohen, David A.; Cooper, Martin C.; Živný, Stanislav 2 2019 A tractable class of binary VCSPs via M-convex intersection. Zbl 1454.68058Hirai, Hiroshi; Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav 1 2019 The complexity of approximately counting retractions. Zbl 1432.68179Focke, Jacob; Goldberg, Leslie Ann; Živný, Stanislav 1 2019 The limits of SDP relaxations for general-valued CSPs. Zbl 1427.90245Thapper, Johan; Živný, Stanislav 1 2018 Discrete convexity in joint winner property. Zbl 06920229Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav 1 2018 The power of Sherali-Adams relaxations for general-valued CSPs. Zbl 1371.68125Thapper, Johan; Živný, Stanislav 9 2017 Backdoors into heterogeneous classes of SAT and CSP. Zbl 1356.68097Gaspers, Serge; Misra, Neeldhara; Ordyniak, Sebastian; Szeider, Stefan; Živný, Stanislav 7 2017 The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68117Cooper, Martin C.; Živný, Stanislav 3 2017 Binarisation for valued constraint satisfaction problems. Zbl 1477.68121Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei; Powell, Robert; Živný, Stanislav 3 2017 Functional clones and expressibility of partition functions. Zbl 1418.08001Bulatov, Andrei; Goldberg, Leslie Ann; Jerrum, Mark; Richerby, David; Živný, Stanislav 2 2017 The limits of SDP relaxations for general-valued CSPs. Zbl 1452.90279Thapper, Johan; Živný, Stanislav 1 2017 The constraint satisfaction problem: complexity and approximability, Dagstuhl seminar 15301, July 2015. Zbl 1375.68019 1 2017 The complexity of valued CSPs. Zbl 1482.68165Krokhin, Andrei; Zivny, Stanislav 1 2017 The complexity of finite-valued CSPs. Zbl 1410.68177Thapper, Johan; Živný, Stanislav 20 2016 Maximizing \(k\)-submodular functions and beyond. Zbl 1445.68371Ward, Justin; Živný, Stanislav 6 2016 The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68118Cooper, Martin C.; Živný, Stanislav 3 2016 A Galois connection for weighted (relational) clones of infinite size. Zbl 1427.68120Fulla, Peter; Živný, Stanislav 2 2016 On planar valued CSPs. Zbl 1398.68232Fulla, Peter; Živný, Stanislav 2 2016 The power of linear programming for general-valued CSPs. Zbl 1456.68059Kolmogorov, Vladimir; Thapper, Johan; Živný, Stanislav 32 2015 Variable and value elimination in binary constraint satisfaction via forbidden patterns. Zbl 1320.68168Cohen, David A.; Cooper, Martin C.; Escamocher, Guillaume; Živný, Stanislav 7 2015 Sherali-Adams relaxations for valued CSPs. Zbl 1440.68132Thapper, Johan; Živný, Stanislav 7 2015 Necessary conditions for tractability of valued CSPs. Zbl 1347.08009Thapper, Johan; Živný, Stanislav 6 2015 A Galois connection for valued constraint languages of infinite size. Zbl 1440.68115Fulla, Peter; Živný, Stanislav 3 2015 Maximizing bisubmodular and \(k\)-submodular functions. Zbl 1422.68315Ward, Justin; Živný, Stanislav 3 2014 The complexity of valued constraint satisfaction. Zbl 1409.68141Jeavons, Peter; Krokhin, Andrei; Živný, Stanislav 3 2014 An algebraic theory of complexity for discrete optimization. Zbl 1305.08007Cohen, David A.; Cooper, Martin C.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav 23 2013 The complexity of conservative valued CSPs. Zbl 1281.68134Kolmogorov, Vladimir; Živný, Stanislav 19 2013 The complexity of finite-valued CSPs. Zbl 1294.68094Thapper, Johan; Živný, Stanislav 14 2013 The complexity of valued constraint satisfaction problems. Zbl 1283.68024Živný, Stanislav 12 2012 Tractable triangles and cross-free convexity in discrete optimisation. Zbl 1254.90309Cooper, M. C.; Zivny, S. 10 2012 Hybrid tractability of valued constraint problems. Zbl 1225.68243Cooper, Martin C.; Živný, Stanislav 13 2011 An algebraic theory of complexity for valued constraints: establishing a Galois connection. Zbl 1343.68106Cohen, 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.68061Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav 2 2008 all cited Publications top 5 cited Publications all top 5 Cited by 168 Authors 27 Živný, Stanislav 11 Hirai, Hiroshi 10 Cooper, Martin C. 9 Cohen, David A. 8 Jeavons, Peter G. 6 Iwamasa, Yuni 6 Krokhin, Andrei A. 5 Ganian, Robert 4 Escamocher, Guillaume 4 Goldberg, Leslie Ann 4 Guruswami, Venkatesan 4 Ordyniak, Sebastian 4 Szeider, Stefan 4 Thapper, Johan 4 Viola, Caterina 3 Bodirsky, Manuel 3 Carbonnel, Clément 3 Dalmau, Víctor 3 Kolmogorov, Vladimir 2 Backens, Miriam 2 Barto, Libor 2 Brakensiek, Joshua 2 Bulatov, Andrei A. 2 Cabrera, Inma P. 2 Chan, Hau 2 Cordero, Pablo 2 Eiben, Eduard 2 El Mouelhi, Achref 2 Fujishige, Satoru 2 Fulla, Peter 2 García-Pardo, Francisca 2 Greco, Gianluigi 2 Jerrum, Mark R. 2 Kozik, Marcin 2 Mamino, Marcello 2 Matl, Gregor 2 Mcquillan, Colin 2 Mizutani, Ryuhei 2 Ojeda-Aciego, Manuel 2 Oki, Taihei 2 Rodríguez-Sanchez, Francisco Joaquin 2 Roth, Marc 2 Scarcello, Francesco 2 Tang, Zhongzheng 2 Tanigawa, Shin-ichi 2 Wang, Chenhao 2 Wrochna, Marcin 2 Wu, Weili 2 Yoshida, Yuichi 2 Zanuttini, Bruno 1 Anthony, Martin H. G. 1 Benson, Austin R. 1 Bilmes, Jeff A. 1 Boros, Endre 1 Brandts, Alex 1 Briceño, Raimundo 1 Chen, Hubie 1 Chen, Rong 1 Chen, Xi 1 Chernyak, Vladimir Y. 1 Chertkov, Michael 1 Crama, Yves 1 Cui, Jinchuan 1 de Wolff, Timo 1 Deng, Guofeng 1 Dressler, Mareike 1 Duchein, Aymeric 1 Dvořák, Pavel 1 Dyer, Martin E. 1 Feng, Chao 1 Focke, Jacob 1 Gao, Jian 1 Gaspers, Serge 1 Gruber, Aritanan 1 Gu, Shuyang 1 Guo, Jianxiong 1 Ha, Dung K. T. 1 Helaoui, Maher 1 Hell, Pavol 1 Huang, Chuanhe 1 Ilango, Rahul 1 Iwata, Yoichi 1 Jegelka, Stefanie 1 Kahl, Fredrik 1 Kawarabayashi, Ken-ichi 1 Kazda, Alexandr 1 Kaznatcheev, Artem 1 Király, Tamás 1 Kleinberg, Jon Michael 1 Klute, Fabian 1 Knop, Dušan 1 Kompatscher, Michael 1 Kronegger, Martin 1 Kroupa, Tomáš 1 Küçükyavuz, Simge 1 Kurpisz, Adam 1 Ladický, L’ubor 1 Larose, Benoit 1 Le, Nguyen D. 1 Li, Hui ...and 68 more Authors all top 5 Cited in 33 Serials 12 SIAM Journal on Computing 8 Discrete Applied Mathematics 6 Algorithmica 6 SIAM Journal on Discrete Mathematics 5 Artificial Intelligence 5 Journal of Computer and System Sciences 4 Theoretical Computer Science 4 Mathematical Programming. Series A. Series B 4 Constraints 4 Discrete Optimization 3 Information and Computation 3 Journal of Combinatorial Optimization 2 Journal of Combinatorial Theory. Series B 2 International Journal of Algebra and Computation 2 Annals of Mathematics and Artificial Intelligence 1 Communications in Mathematical Physics 1 Information Processing Letters 1 Journal of Mathematical Analysis and Applications 1 Algebra Universalis 1 Information Sciences 1 Operations Research Letters 1 Order 1 Acta Mathematicae Applicatae Sinica. English Series 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 The Journal of Artificial Intelligence Research (JAIR) 1 The Bulletin of Symbolic Logic 1 Journal of Mathematical Logic 1 Foundations of Computational Mathematics 1 Journal of Statistical Mechanics: Theory and Experiment 1 Discrete Mathematics, Algorithms and Applications all top 5 Cited in 17 Fields 79 Computer science (68-XX) 41 Operations research, mathematical programming (90-XX) 20 Combinatorics (05-XX) 17 General algebraic systems (08-XX) 8 Mathematical logic and foundations (03-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 4 Statistical mechanics, structure of matter (82-XX) 2 Group theory and generalizations (20-XX) 2 Quantum theory (81-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Partial differential equations (35-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year