Stanislav Živný
Title
Cited by
Cited by
Year
The complexity of finite-valued CSPs
J Thapper, S Živný
Journal of the ACM (JACM) 63 (4), 2016
1222016
The power of linear programming for valued CSPs
J Thapper, S Živný
53rd Annual IEEE Symposium on Foundations of Computer Science (FOCS'12), 669-678, 2012
862012
The power of linear programming for general-valued CSPs
V Kolmogorov, J Thapper, S Zivny
SIAM Journal on Computing 44 (1), 1-36, 2015
782015
The complexity of conservative valued CSPs
V Kolmogorov, S Živný
Journal of the ACM (JACM) 60 (2), 2013
77*2013
An algebraic theory of complexity for discrete optimisation
D Cohen, M Cooper, P Creed, P Jeavons, S Živný
SIAM Journal on Computing 42 (5), 1915-1939, 2013
76*2013
The expressive power of binary submodular functions
S Živný, DA Cohen, PG Jeavons
Discrete Applied Mathematics 157 (15), 3347-3358, 2009
652009
Hybrid tractability of valued constraint problems
MC Cooper, S Živný
Artificial Intelligence 175 (9-10), 1555-1569, 2011
54*2011
The Complexity of Valued Constraint Satisfaction Problems
S Živný
Springer-Verlag New York Incorporated, 2012
53*2012
Relating proof complexity measures and practical hardness of SAT
M Järvisalo, A Matsliah, J Nordström, S Živný
International Conference on Principles and Practice of Constraint …, 2012
442012
Tractable Triangles and Cross-Free Convexity in Discrete Optimisation
MC Cooper, S Živný
Journal of Artificial Intelligence Research 44, 455-490, 2012
39*2012
Maximizing bisubmodular and k-submodular functions
J Ward, S Živný
Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete …, 2014
38*2014
The complexity of valued constraint satisfaction
P Jeavons, A Krokhin, S Živný
Bulletin of EATCS 2 (113), 2014
342014
Classes of submodular constraints expressible by graph cuts
S Živný, PG Jeavons
Constraints 15 (3), 430-452, 2010
342010
The constraint satisfaction problem: Complexity and approximability
A Krokhin, S Zivny
Schloss Dagstuhl, 2017
292017
The complexity of valued CSPs.
A Krokhin, S Živný
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2017
252017
Backdoors into heterogeneous classes of SAT and CSP
S Gaspers, N Misra, S Ordyniak, S Szeider, S Živný
Journal of Computer and System Sciences 85, 38-56, 2017
222017
Sherali-Adams relaxations for valued CSPs
J Thapper, S Zivny
Proceedings of the 42nd International Colloquium on Automata, Languages, and …, 2015
212015
The power of Sherali--Adams relaxations for general-valued CSPs
J Thapper, S Zivny
SIAM Journal on Computing 46 (4), 1241-1279, 2017
202017
Hybrid tractable classes of constraint problems
MC Cooper, S Zivny
Dagstuhl Follow-Ups 7, 2017
192017
Variable and value elimination in binary constraint satisfaction via forbidden patterns
DA Cohen, MC Cooper, G Escamocher, S Živný
Journal of Computer and System Sciences 81 (7), 1127-1143, 2015
182015
The system can't perform the operation now. Try again later.
Articles 1–20