Standa Živn : Publications
Click here to download all publications in a single bibtex file
@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",
}
@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{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",
}
@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",
}
@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",
}
@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",
}
@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",
}
@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",
}
@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",
}
@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",
}
@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",
}
@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",
}
@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",
}
@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",
}
@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",
}
@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",
}