Skip to main content Skip to navigation

Stanislav Zivny

I have moved.

Selected publications:

  • S. Živný: The complexity of valued constraint satisfaction problems, Springer, ISBN 978-3-642-33973-8, 2012. Based on my doctoral thesis from Oxford that was awarded the 2011 ACP doctoral research award.
  • D. Cohen, M. Cooper, P. Creed, P. Jeavons, S. Živný: An algebraic theory of complexity for discrete optimisation, SIAM Journal on Computing (SICOMP), 42(5), pp. 1915-1939. (Extended abstracts appeared in MFCS'11 and CP'11.)
  • V. Kolmogorov, S. Živný: The complexity of conservative valued CSPs, Journal of the ACM (JACM) 60(2), Article No. 10, 2013. (An extended abstract appeared in SODA'12.)
  • D. Cohen, M. Cooper, G. Escamocher, S. Živný: Variable elimination in binary CSP via forbidden patterns, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 2013.
  • J. Thapper, S. Živný: The complexity of finite-valued CSPs, Proceedings of the 45th ACM Symposium on the Theory of Computing (STOC'13), 2013.
  • J. Thapper, S. Živný: The power of linear programming for valued CSPs, Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science (FOCS'12), pp. 669-678, 2012.
  • M. Cooper, S. Živný: Tractable triangles and cross-free convexity in discrete optimisation, Journal of Artificial Intelligence Research (JAIR) 44, pp. 455-490, 2012. (Two extended abstracts appeared in CP'11.)
  • M. Cooper, S. Živný: Hybrid tractability of valued constraint problems, Artificial Intelligence (AI), 175(9-10), pp. 1555-1569, 2011. (An extended abstract appeared in CP'10.)
  • S. Živný, D. Cohen, P. Jeavons: The expressive power of binary submodular functions, Discrete Applied Mathematics (DAM), 157(15), pp. 3347-3358, 2009. (An extended abstract appeared in MFCS'09.)
  • D. Cohen, P. Jeavons, S. Živný: The expressive power of valued constraints: Hierarchies and collapses, Theoretical Computer Science (TCS), 409(1), pp. 137-153, 2008. (An extended abstract appeared in CP'07.)