Stanislav Zivny

Stanislav Zivny

Doctoral Student
College Lecturer, Hertford College
Student, Keble College

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

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

interests

complexity of constraint satisfaction problems
combinatorial optimisation
submodular functions

biography

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

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

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

Since 2006 member of Keble College.

Since 2008 lecturer at Hertford College.

links

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

publications

The Expressive Power of Binary Submodular Functions

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

Technical Report, 2008.

arXiv:0811.1885 [cs.DM].

Details | BibTeX | Link

PROCEEDINGS OF THE OXFORD UNIVERSITY COMPUTING LABORATORY STUDENT CONFERENCE 2008

Programme Co-Chairs: Shamal Faily, Standa Zivny Conference Co-Chairs: Christo Fogelberg, Andras Salamon, Max Schafer

No. RR-08-10, Technical Report, OUCL. October 2008.

Details | BibTeX | Download (pdf)

The expressive power of valued constraints: Hierarchies and collapses

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

Theoretical Computer Science, Vol. 409, No. 1, pages 137—153. 2008.

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

View all

info

themes	Foundations, Logic and Structures
activities	Constraints Group
projects	Complexity of Valued Constraints
supervisor	Peter Jeavons