@techreport{KZ10:arx-b, title = "Generalising tractable VCSPs defined by symmetric tournament pair multimorphisms (with V. Kolmogorov), arXiv:1008.3104, August, 2010.", author = "Vladimir Kolmogorov and Stanislav \v{Z}ivn\'y", year = "2010", note = "arXiv:1008.3104", url = "http://arxiv.org/abs/1008.3104", } @techreport{KZ10:arx-a, title = "The complexity of conservative finite-valued CSPs", author = "Vladimir Kolmogorov and Stanislav \v{Z}ivn\'y", year = "2010", note = "arXiv:1008.1555", url = "http://arxiv.org/abs/1008.1555", } @techreport{CZ10:arx, title = "Hybrid tractability of soft constraint problems", author = "Martin C. Cooper and Stanislav \v{Z}ivn\'y", year = "2010", note = "arXiv:1008.4071", url = "http://arxiv.org/abs/1008.4071", } @inproceedings{CZ10:cp, title = "A new hybrid tractable class of soft constraint problems", author = "Martin C. Cooper and Stanislav \v{Z}ivn\'y", year = "2010", booktitle = "Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP'10)", series = "Lecture Notes in Computer Science", url = "http://zivny.cz/publications/cz10cp-preprint.pdf", volume = "6308", doi = "10.1007/978-3-642-15396-9_15", } @techreport{3925, title = "An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection", author = "David A. Cohen and Paidi Creed and Peter G. Jeavons and Stanislav Zivny", year = "2010", institution = "OUCL", month = "November", number = "RR-10-16", pages = "30", } @article{ZJ10constraints, title = "Classes of submodular constraints expressible by graph cuts", author = "Stanislav \v{Z}ivn\'y and Peter G. Jeavons", year = "2010", journal = "Constraints", number = "3", pages = "430-452", url = "http://zivny.cz/publications/zj10constraints-preprint.pdf", volume = "15", doi = "10.1007/s10601-009-9078-z", } @phdthesis{Zivny09:phdthesis, title = "The Complexity and Expressive Power of Valued Constraints", author = "Stanislav \v{Z}ivn\'{y}", year = "2009", school = "Oxford University Computing Laboratory", url = "http://ora.ouls.ox.ac.uk/objects/uuid:63facf22-7c2b-4d4a-8b6f-f7c323759ca0", } @article{Z09:ipl, title = "Structural properties of oracle classes", author = "Stanislav \v{Z}ivn\'y", year = "2009", journal = "Information Processing Letters", number = "19", pages = "1131--1135", url = "http://zivny.cz/publications/z09ipl-preprint.pdf", volume = "109", doi = "10.1016/j.ipl.2009.07.009", } @article{Zivny09:dam, title = "The expressive power of binary submodular functions", author = "Stanislav \v{Z}ivn\'y and David A. Cohen and Peter G. Jeavons", year = "2009", journal = "Discrete Applied Mathematics", number = "15", pages = "3347--3358", url = "http://zivny.cz/publications/zcj09dam-preprint.pdf", volume = "157", doi = "10.1016/j.dam.2009.07.001", } @inproceedings{Zivny09:models, title = "The complexity of valued constraint models", author = "Stanislav \v{Z}ivn\'y and Peter G. Jeavons", year = "2009", booktitle = "Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP'09)", number = "5732", series = "Lecture Notes in Computer Science", url = "http://zivny.cz/publications/zj09cp-preprint.pdf", doi = "10.1007/978-3-642-04244-7_64", } @inproceedings{Zivny09:same, title = "Same-relation constraints", author = "Christopher Jefferson and Serdar Kadioglu and Karen E. Petrie and Meinolf Sellmann and Stanislav \v{Z}ivn\'y", year = "2009", booktitle = "Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP'09)", number = "5732", series = "Lecture Notes in Computer Science", url = "http://zivny.cz/publications/jkpsz09cp-preprint.pdf", doi = "10.1007/978-3-642-04244-7_38", } @inproceedings{Zivny09:mfcs, title = "The expressive power of binary submodular functions", author = "Stanislav \vZ}ivn\'y and David A. Cohen and Peter G. Jeavons", year = "2009", booktitle = "Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science (MFCS'09)", series = "Lecture Notes in Computer Science", url = "http://zivny.cz/publications/zcj09mfcs-preprint.pdf", } @article{zz09ipl, title = "A note on some collapse results of valued constraints", author = "Bruno Zanuttini and Stanislav \v{Z}ivn\'y", year = "2009", journal = "Information Processing Letters", number = "11", pages = "534--538", url = "http://zivny.cz/publications/zz09ipl-preprint.pdf", volume = "109", doi = "10.1016/j.ipl.2009.01.018", } @techreport{zcj08arx, title = "The Expressive Power of Binary Submodular Functions", author = "Stanislav \v{Z}ivn\'y and David A. Cohen and Peter G. Jeavons", year = "2008", note = "arXiv:0811.1885 [cs.DM]", url = "http://arxiv.org/abs/0811.1885", } @techreport{RR-08-10, title = "PROCEEDINGS OF THE OXFORD UNIVERSITY COMPUTING LABORATORY STUDENT CONFERENCE 2008", author = "Programme Co-Chairs: Shamal Faily, Stanislav \v{Z}ivn\'y Conference Co-Chairs: Christo Fogelberg, Andras Salamon, Max Schafer", year = "2008", institution = "OUCL", month = "October", number = "RR-08-10", pages = "33", } @article{Zivny08:tcs, title = "The expressive power of valued constraints: Hierarchies and collapses", author = "David A. Cohen and Peter G. Jeavons and Stanislav \v{Z}ivn\'y", year = "2008", journal = "Theoretical Computer Science", number = "1", pages = "137--153", url = "http://zivny.cz/publications/cjz08tcs-preprint.pdf", volume = "409", doi = "10.1016/j.tcs.2008.08.036", } @techreport{Zivny08:sub-tr, title = "Which submodular functions are expressible using binary submodular functions?", author = "Stanislav \v{Z}ivn\'y and Peter G. Jeavons", year = "2008", address = "Oxford, UK", institution = "OUCL", month = "June", number = "RR-08-08", url = "http://zivny.cz/publications/zj08sub-tr.pdf", } @inproceedings{Zivny08:cp, title = "Classes of submodular constraints expressible by graph cuts", author = "Stanislav \v{Z}ivn\'y and Peter G. Jeavons", year = "2008", booktitle = "Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP'08)", pages = "112-127", series = "Lecture Notes in Computer Science", url = "http://zivny.cz/publications/zj08cp-preprint.pdf", volume = "5202", doi = "10.1007/978-3-540-85958-1_8", } @inproceedings{Zivny07:cp, title = "The expressive power of valued constraints: Hierarchies and collapses", author = "David A. Cohen and Peter G. Jeavons and Stanislav \v{Z}ivn\'y", year = "2007", booktitle = "Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP'07)", pages = "798-805", series = "Lecture Notes in Computer Science", url = "http://zivny.cz/publications/cjz07cp-preprint.pdf", volume = "4741", doi = "10.1007/978-3-540-74970-7_57", } @techreport{Zivny07:expressiveTR, title = "The expressive power of valued constraints: hierarchies and collapses", author = "David A. Cohen and Peter G. Jeavons and Stanislav \v{Z}ivn\'y", year = "2007", address = "Oxford, UK", institution = "Computing Laboratory, University of Oxford", month = "April", number = "RR-07-03", url = "http://web.comlab.ox.ac.uk/oucl/publications/tr/RR-07-03.html", } @misc{Zivny07:cpdp, title = "Expressibility of valued constraints", author = "Stanislav \v{Z}ivn\'y and Peter G. Jeavons", year = "2007", booktitle = "Proceedings of the Doctoral Programme of CP'07", month = "September", pages = "193-198", } @mastersthesis{Zivny05:MSThesisPrague, title = "Relation between accepting languages and complexity of questions on orcle", author = "Stanislav \v{Z}ivn\'y", year = "2005", address = "Czech republic", month = "April", school = "Charles University in Prague", } @mastersthesis{Zivny05:MSThesisAmsterdam, title = "Properties of oracle classes that collapse or separate complexity classes", author = "Stanislav \v{Z}ivn\'y", year = "2005", address = "The Netherlands", month = "July", school = "Vrije Universiteit in Amsterdam", url = "http://eccc.hpi-web.de/eccc-local/ECCC-Theses/zivny.html", }