@PREAMBLE{ "\newcommand{\noopsort}[1]{}"} # zivny.bib @MastersThesis{z05:msc-amsterdam, author = "Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y", title = "{P}roperties of oracle classes that collapse or separate complexity classes", school = "Vrije Universiteit in Amsterdam", address = "The Netherlands", month = "July", year = "2005", url = "http://eccc.hpi-web.de/eccc-local/ECCC-Theses/zivny.html" } @MastersThesis{z05:msc-prague, author = "Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y", title = "{R}elation between accepting languages and complexity of questions on oracle", school = "Charles University in Prague", address = "Czech republic", month = "April", year = "2005" } @TechReport{cjz07:tr, author = "Cohen, D.A. and Jeavons, P.G. and {\noopsort{ZZ}\v{Z}}ivn\'y, S.", title = "{T}he expressive power of valued constraints: hierarchies and collapses", institution = "Computing Laboratory, University of Oxford", year = "2007", type = "Research Report", number = "CS-RR-07-03", address = "Oxford, UK", month = "April", url = "http://web.comlab.ox.ac.uk/668/RR-07-03.pdf" } @InProceedings{cjz07:cp, author = "David A. Cohen and Peter G. Jeavons and Stanislav {\noopsort{ZZ}\v{Z}}ivn{\'y}", title = "{T}he {E}xpressive {P}ower of {V}alued {C}onstraints: {H}ierarchies and {C}ollapses", booktitle = "{P}roceedings of the 13th {I}nternational {C}onference on {P}rinciples and {P}ractice of {C}ontraint {P}rogramming ({C}{P}'07)", pages = "798--805", month = "September", year = "2007", series = "Lecture Notes in Computer Science", publisher = "Springer", volume = "4741", doi = "10.1007/978-3-540-74970-7_57" } @misc{zj07:cp-dp, author = "Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y and Peter Jeavons", title = "{E}xpressibility of valued constraints", booktitle = "{P}roc. of the {D}octoral {P}rogramme of {C}{P}'07", pages = "193--198", month = "September", year = "2007" } @InProceedings{zj08:cp, author = "Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y and Peter G. Jeavons", title = "{C}lasses of {S}ubmodular {C}onstraints {E}xpressible by {G}raph {C}uts", booktitle = "{P}roceedings of the 14th {I}nternational {C}onference on {P}rinciples and {P}ractice of {C}onstraint {P}rogramming ({C}{P}'08)", year = "2008", series = "Lecture Notes in Computer Science", publisher = "Springer", pages = "112--127", volume = "5202", doi = "10.1007/978-3-540-85958-1_8" } @Article{cjz08:tcs, author = "David A. Cohen and Peter G. Jeavons and Stanislav {\noopsort{ZZ}\v{Z}}ivn{\'y}", title = "{T}he expressive power of valued constraints: {H}ierarchies and collapses", journal = "Theoretical Computer Science", year = "2008", pages = "137--153", volume = "409", number = "1", doi = "10.1016/j.tcs.2008.08.036" } @article{zz09:ipl, author = "Bruno Zanuttini and Stanislav {\v{Z}}ivn\'y", title = "{A} note on some collapse results of valued constraints", journal = "Information Processing Letters", year = "2009", pages = "534--538", volume = "109", number = "11", doi = "10.1016/j.ipl.2009.01.018" } @TechReport{zj08:sub-tr, author = "Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y and Peter G. Jeavons", title = "{W}hich submodular functions are expressible using binary submodular functions?", institution = "Computing Laboratory, University of Oxford", year = "2008", type = "Research Report", number = "CS-RR-08-08", address = "Oxford, UK", month = "June", url = "http://web.comlab.ox.ac.uk/publications/publication85-abstract.html" } @TechReport{zcj08:sub-arxive, author = "Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y and David A. Cohen and Peter G. Jeavons", title = "The {E}xpressive {P}ower of {B}inary {S}ubmodular {F}unctions", note = "arXiv:0811.1885", month = "November", year = "2008", url = "http://arxiv.org/abs/0811.1885" } @InProceedings{zj09:cp, author = "Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y and Peter G. Jeavons", title = "The complexity of valued constraint models", booktitle = "{P}roceedings of the 15th {I}nternational {C}onference on {P}rinciples and {P}ractice of {C}onstraint {P}rogramming ({C}{P}'09)", series = "Lecture Notes in Computer Science", publisher = "Springer", year = "2009", volume = "5732", pages = "833--841", doi = "10.1007/978-3-642-04244-7_64" } @InProceedings{zcj09:mfcs, author = "Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y and David A. Cohen and Peter G. Jeavons", title = "The {E}xpressive {P}ower of {B}inary {S}ubmodular {F}unctions", booktitle = "Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science (MFCS'09)", year = "2009", series = "Lecture Notes in Computer Science", publisher = "Springer", pages = "744--757", volume = "5734", doi = "10.1007/978-3-642-03816-7" } @Article{zcj09:dam, author = "Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y and David A. Cohen and Peter G. Jeavons", title = "The {E}xpressive {P}ower of {B}inary {S}ubmodular {F}unctions", journal = "Discrete Applied Mathematics", year = "2009", doi = "10.1016/j.dam.2009.07.001", volume = "157", number = "15", pages = "3347--3358" } @InProceedings{ckpsz09:cp, author = "Christopher Jefferson and Serdar Kadioglu and Karen E. Petrie and Meinolf Sellmann and Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y", title = "Same-relation constraints", booktitle = "{P}roceedings of the 15th {I}nternational {C}onference on {P}rinciples and {P}ractice of {C}onstraint {P}rogramming ({C}{P}'09)", series = "Lecture Notes in Computer Science", publisher = "Springer", year = "2009", volume = "5732", pages = "470--485", doi = "10.1007/978-3-642-04244-7_38" } @article{z09:ipl, author = "Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y", title = "{S}tructural properties of oracle classes", journal = "Information Processing Letters", year = "2009", doi = "10.1016/j.ipl.2009.07.009", pages = "1131--1135", volume = "109", number = "19" } @article{zj09:constraints, author = "Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y and Peter G. Jeavons", title = "{C}lasses of {S}ubmodular {C}onstraints {E}xpressible by {G}raph {C}uts", journal = "Constraints", year = "2010", note = "to appear", doi = "10.1007/s10601-009-9078-z", pages = "430-452", volume = "15", number = "3" } @PhDThesis{z09:phdthesis, author = "Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y", title = "The Complexity and Expressive Power of Valued Constraints", school = "Oxford University Computing Laboratory", year = "2009" } @article{cz10:bisubmodular, author = "Martin C. Cooper and Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y", title = "{G}eneralising {B}isubmodularity to {D}omains of {A}rbitrary {S}ize", year = "2010", note = "Submitted", } @inproceedings{cz10:cp, author = "Martin C. Cooper and Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y", title = "A new hybrid tractable class of soft constraint problems", year = "2010", booktitle = "{P}roceedings of the 16th {I}nternational {C}onference on {P}rinciples and {P}ractice of {C}onstraint {P}rogramming ({C}{P}'08)", series = "Lecture Notes in Computer Science", publisher = "Springer", pages = "152--166", volume = "6308" } doi = "" @article{cz10:hybrid, author = "Martin C. Cooper and Stanislav {\noopsort{ZZ}\v{Z}}ivn\'y", title = "Hybrid tractability of soft constraint problems", year = "2010", note = "(submitted)" } url = ""