Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Stanislav Zivny
Author information
- Stanislav Živný
2010 – today
- 2013
[j8]Vladimir Kolmogorov, Stanislav Zivny: The complexity of conservative valued CSPs. J. ACM 60(2): 10 (2013)- [c17]David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivny: Tractable Combinations of Global Constraints. CP 2013: 230-246
- [c16]David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny: Variable Elimination in Binary CSP via Forbidden Patterns. IJCAI 2013
- [c15]
- [i9]David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivny: Tractable Combinations of Global Constraints. CoRR abs/1307.2867 (2013)
- 2012
- [b1]Stanislav Zivny: The Complexity of Valued Constraint Satisfaction Problems. Cognitive Technologies, Springer 2012, ISBN 978-3-642-33973-8, pp. 3-152
- [j7]Martin C. Cooper, Stanislav Zivny: Tractable Triangles and Cross-Free Convexity in Discrete Optimisation. J. Artif. Intell. Res. (JAIR) 44: 455-490 (2012)
- [c14]Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny: A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP. CP 2012: 265-273
- [c13]Matti Järvisalo, Arie Matsliah, Jakob Nordström, Stanislav Zivny: Relating Proof Complexity Measures and Practical Hardness of SAT. CP 2012: 316-331
- [c12]
- [c11]Vladimir Kolmogorov, Stanislav Zivny: The complexity of conservative valued CSPs. SODA 2012: 750-759
- [i8]Johan Thapper, Stanislav Zivny: The Power of Linear Programming for Valued CSPs. CoRR abs/1204.1079 (2012)
- [i7]David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivny: An Algebraic Theory of Complexity for Discrete Optimisation. CoRR abs/1207.6692 (2012)
- [i6]
- 2011
- [j6]Martin C. Cooper, Stanislav Zivny: Hybrid tractability of valued constraint problems. Artif. Intell. 175(9-10): 1555-1569 (2011)
- [c10]
- [c9]
- [c8]
- [c7]David A. Cohen, Páidí Creed, Peter G. Jeavons, Stanislav Zivny: An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection. MFCS 2011: 231-242
- [i5]Vladimir Kolmogorov, Stanislav Zivny: The complexity of conservative valued CSPs. CoRR abs/1110.2809 (2011)
- 2010
- [j5]Stanislav Zivny, Peter G. Jeavons: Classes of submodular constraints expressible by graph cuts. Constraints 15(3): 430-452 (2010)
- [c6]Martin C. Cooper, Stanislav Zivny: A New Hybrid Tractable Class of Soft Constraint Problems. CP 2010: 152-166
- [i4]Vladimir Kolmogorov, Stanislav Zivny: The complexity of conservative finite-valued CSPs. CoRR abs/1008.1555 (2010)
- [i3]Vladimir Kolmogorov, Stanislav Zivny: Generalising tractable VCSPs defined by symmetric tournament pair multimorphisms. CoRR abs/1008.3104 (2010)
- [i2]Martin C. Cooper, Stanislav Zivny: Hybrid tractability of soft constraint problems. CoRR abs/1008.4071 (2010)
2000 – 2009
- 2009
- [j4]Stanislav Zivny, David A. Cohen, Peter G. Jeavons: The expressive power of binary submodular functions. Discrete Applied Mathematics 157(15): 3347-3358 (2009)
- [j3]Bruno Zanuttini, Stanislav Zivny: A note on some collapse results of valued constraints. Inf. Process. Lett. 109(11): 534-538 (2009)
- [j2]Stanislav Zivny: Structural properties of oracle classes. Inf. Process. Lett. 109(19): 1131-1135 (2009)
- [c5]Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivny: Same-Relation Constraints. CP 2009: 470-485
- [c4]
- [c3]Stanislav Zivny, David A. Cohen, Peter G. Jeavons: The Expressive Power of Binary Submodular Functions. MFCS 2009: 744-757
- 2008
- [j1]David A. Cohen, Peter G. Jeavons, Stanislav Zivny: The expressive power of valued constraints: Hierarchies and collapses. Theor. Comput. Sci. 409(1): 137-153 (2008)
- [c2]Stanislav Zivny, Peter Jeavons: Classes of Submodular Constraints Expressible by Graph Cuts. CP 2008: 112-127
- [i1]Stanislav Zivny, David A. Cohen, Peter G. Jeavons: The Expressive Power of Binary Submodular Functions. CoRR abs/0811.1885 (2008)
- 2007
- [c1]David A. Cohen, Peter Jeavons, Stanislav Zivny: The Expressive Power of Valued Constraints: Hierarchies and Collapses. CP 2007: 798-805
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:59 CEST by the dblp team