Stanislav Zivny

Stanislav Zivny

Doctoral Student
Student, Keble College

stanislav.zivny@comlab.ox.ac.uk
+44 (0)774 838 9260
+44 (0)1865 273884
+44 (0)1865 273839 (fax)

interests

My research interests include complexity theory, combinatorial optimisation and constraint satisfaction problems. In particular, I am working on:

the complexity and expressive power of valued constraint satisfaction problems
optimisation of submodular functions
minimum cuts in graphs
fixed-parameter tractability of valued constraints

biography

2005 Bc+MSc in CS (summa cum laude), Prague, Czech republic.

2005 MSc in CS (cum laude), Amsterdam, Netherlands.

2006 Research exchange student, Department of Mathematics, Turku, Finland.

Since 2006 a member of Keble College.

Since 2008 a lecturer at Hertford College.

links

Further details on my work can be found on my personal homepage.

publications

The expressive power of valued constraints: Hierarchies and collapses

David A. Cohen, Peter G. Jeavons and Stanislav Živný

Theoretical Computer Science, 2008.

(in press).

Details | BibTeX | Link (pdf) | DOI (10.1016/j.tcs.2008.08.036)

Which submodular functions are expressible using binary submodular functions?

Stanislav Živný, Peter G. Jeavons

No. RR-08-08, Technical Report, OUCLOxford, UK. June 2008.

Details | BibTeX | Download (pdf)

Classes of submodular constraints expressible by graph cuts

Stanislav Živný, Peter G. Jeavons

In Proceedings of the 14th International Conference on Principles and Practice of Contraint Programming (CP'08) Vol. 5202 of Lecture Notes in Computer Science, pages 112-197. 2008.

Details | BibTeX | Link (pdf) | DOI (http://dx.doi.org/10.1007/978-3-540-85958-1_8)

View all

info

themes	Computational Biology
activities	Constraints Group
projects	Complexity of Valued Constraints
supervisor	Peter Jeavons

location

Room 352, Wolfson Building, Parks Road, Oxford OX1 3QD