Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Stanislav
    Last name: Zivny
    DBLP: z/StanislavZivny
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 78 of 78  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny.
    Backdoors into heterogeneous classes of SAT and CSP.
    J. Comput. Syst. Sci. 2017, Volume 85 (0) 2017
    Conference paper
    Yuni Iwamasa, Kazuo Murota, Stanislav Zivny.
    Discrete Convexity in Joint Winner Property.
    CoRR 2017, Volume 0 (0) 2017
    Book chapter
    Martin C. Cooper, Stanislav Zivny.
    Hybrid Tractable Classes of Constraint Problems.
    The Constraint Satisfaction Problem: Complexity and Approximability 2017, Volume 7 (0) 2017
    Book chapter
    Andrei A. Krokhin, Stanislav Zivny.
    The Complexity of Valued CSPs.
    The Constraint Satisfaction Problem: Complexity and Approximability 2017, Volume 7 (0) 2017
    Conference paper
    Peter Fulla, Stanislav Zivny.
    The complexity of Boolean surjective general-valued CSPs.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivny.
    On Singleton Arc Consistency for Natural CSPs Defined by Forbidden Patterns.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Peter Fulla, Stanislav Zivny.
    On planar valued CSPs.
    J. Comput. Syst. Sci. 2017, Volume 87 (0) 2017
    Journal article
    Andrei A. Bulatov, Leslie Ann Goldberg, Mark Jerrum, David Richerby, Stanislav Zivny.
    Functional clones and expressibility of partition functions.
    Theor. Comput. Sci. 2017, Volume 687 (0) 2017
    Journal article
    Jacob Focke, Leslie Ann Goldberg, Stanislav Zivny.
    The Complexity of Counting Surjective Homomorphisms and Compactions.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Johan Thapper, Stanislav Zivny.
    The limits of SDP relaxations for general-valued CSPs.
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 2017 (0) 2017
    Conference paper
    Johan Thapper, Stanislav Zivny.
    The Power of Sherali-Adams Relaxations for General-Valued CSPs.
    SIAM J. Comput. 2017, Volume 46 (0) 2017
    Conference paper
    Peter Fulla, Stanislav Zivny.
    On Planar Valued CSPs.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Martin C. Cooper, Stanislav Zivny.
    The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Peter Fulla, Stanislav Zivny.
    A Galois Connection for Weighted (Relational) Clones of Infinite Size.
    TOCT 2016, Volume 8 (0) 2016
    Conference paper
    Johan Thapper, Stanislav Zivny.
    The power of Sherali-Adams relaxations for general-valued CSPs.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Peter Jeavons, Andrius Vaicenavicius, Stanislav Zivny.
    Minimal Weighted Clones with Boolean Support.
    46th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2016, Sapporo, Japan, May 18-20, 2016 2016 (0) 2016
    Conference paper
    Peter Fulla, Stanislav Zivny.
    On Planar Valued CSPs.
    41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland 2016 (0) 2016
    Journal article
    David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin, Robert Powell, Stanislav Zivny.
    Binarisation for Valued Constraint Satisfaction Problems.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Justin Ward, Stanislav Zivny.
    Maximizing
    ACM Transactions on Algorithms 2016, Volume 12 (0) 2016
    Conference paper
    Martin C. Cooper, Stanislav Zivny.
    The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns.
    Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016 2016 (0) 2016
    Conference paper
    Johan Thapper, Stanislav Zivny.
    The Complexity of Finite-Valued CSPs.
    J. ACM 2016, Volume 63 (0) 2016
    Conference paper
    Johan Thapper, Stanislav Zivny.
    The limits of SDP relaxations for general-valued CSPs.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Andrei A. Bulatov, Leslie Ann Goldberg, Mark Jerrum, David Richerby, Stanislav Zivny.
    Functional Clones and Expressibility of Partition Functions.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    David A. Cohen, Martin C. Cooper, Peter Jeavons, Stanislav Zivny.
    Binary Constraint Satisfaction Problems Defined by Excluded Topological Minors.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny.
    Variable and value elimination in binary constraint satisfaction via forbidden patterns.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Peter Fulla, Stanislav Zivny.
    A Galois Connection for Valued Constraint Languages of Infinite Size.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Johan Thapper, Stanislav Zivny.
    Necessary conditions for tractability of valued CSPs.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Johan Thapper, Stanislav Zivny.
    Sherali-Adams relaxations for valued CSPs.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Vladimir Kolmogorov, Johan Thapper, Stanislav Zivny.
    The Power of Linear Programming for General-Valued CSPs.
    SIAM J. Comput. 2015, Volume 44 (0) 2015
    Conference paper
    David A. Cohen, Martin C. Cooper, Peter Jeavons, Stanislav Zivny.
    Binarisation via Dualisation for Valued Constraints.
    Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. 2015 (0) 2015
    Conference paper
    David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny.
    Variable and value elimination in binary constraint satisfaction via forbidden patterns.
    J. Comput. Syst. Sci. 2015, Volume 81 (0) 2015
    Conference paper
    Peter Fulla, Stanislav Zivny.
    A Galois Connection for Valued Constraint Languages of Infinite Size.
    Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I 2015 (0) 2015
    Conference paper
    Johan Thapper, Stanislav Zivny.
    Sherali-Adams Relaxations for Valued CSPs.
    Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I 2015 (0) 2015
    Conference paper
    David A. Cohen, Martin C. Cooper, Peter Jeavons, Stanislav Zivny.
    Tractable Classes of Binary CSPs Defined by Excluded Topological Minors.
    Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 2015 (0) 2015
    Journal article
    Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny.
    Backdoors into Heterogeneous Classes of SAT and CSP.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Johan Thapper, Stanislav Zivny.
    Necessary Conditions for Tractability of Valued CSPs.
    SIAM J. Discrete Math. 2015, Volume 29 (0) 2015
    Journal article
    Martin C. Cooper, Stanislav Zivny.
    Tractable Triangles and Cross-Free Convexity in Discrete Optimisation.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Justin Ward, Stanislav Zivny.
    Maximizing Bisubmodular and
    Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014, Portland, Oregon, USA, January 5-7, 2014 2014 (0) 2014
    Conference paper
    Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny.
    Backdoors into Heterogeneous Classes of SAT and CSP.
    Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. 2014 (0) 2014
    Conference paper
    Justin Ward, Stanislav Zivny.
    Maximizing k-Submodular Functions and Beyond.
    CoRR 2014, Volume 0 (0) 2014
    Journal article
    Peter Jeavons, Andrei A. Krokhin, Stanislav Zivny.
    The Complexity of Valued Constraint Satisfaction.
    Bulletin of the EATCS 2014, Volume 113 (0) 2014
    Book chapter
    Peter Jeavons, Stanislav Zivny.
    Tractable Valued Constraints.
    Tractability: Practical Approaches to Hard Problems 2014 (0) 2014
    Conference paper
    Vladimir Kolmogorov, Stanislav Zivny.
    The complexity of conservative valued CSPs.
    J. ACM 2013, Volume 60 (0) 2013
    Conference paper
    Johan Thapper, Stanislav Zivny.
    The complexity of finite-valued CSPs.
    Symposium on Theory of Computing Conference, STOC'13, Palo Alto, CA, USA, June 1-4, 2013 2013 (0) 2013
    Journal article
    David A. Cohen, Peter Jeavons, Evgenij Thorstensen, Stanislav Zivny.
    Tractable Combinations of Global Constraints.
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny.
    Variable Elimination in Binary CSP via Forbidden Patterns.
    IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013 2013 (0) 2013
    Conference paper
    David A. Cohen, Peter Jeavons, Evgenij Thorstensen, Stanislav Zivny.
    Tractable Combinations of Global Constraints.
    Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings 2013 (0) 2013
    Journal article
    Vladimir Kolmogorov, Johan Thapper, Stanislav Zivny.
    The power of linear programming for general-valued CSPs.
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    David A. Cohen, Martin C. Cooper, Páidí Creed, Peter Jeavons, Stanislav Zivny.
    An Algebraic Theory of Complexity for Discrete Optimization.
    SIAM J. Comput. 2013, Volume 42 (0) 2013
    Conference paper
    Johan Thapper, Stanislav Zivny.
    The Power of Linear Programming for Valued CSPs
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    David A. Cohen, Martin C. Cooper, Páidí Creed, Peter Jeavons, Stanislav Zivny.
    An Algebraic Theory of Complexity for Discrete Optimisation
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Martin C. Cooper, Stanislav Zivny.
    Tractable Triangles and Cross-Free Convexity in Discrete Optimisation.
    J. Artif. Intell. Res. (JAIR) 2012, Volume 44 (0) 2012
    Conference paper
    Matti Järvisalo, Arie Matsliah, Jakob Nordström, Stanislav Zivny.
    Relating Proof Complexity Measures and Practical Hardness of SAT.
    Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny.
    A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP.
    Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings 2012 (0) 2012
    Journal article
    Johan Thapper, Stanislav Zivny.
    The complexity of finite-valued CSPs
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Vladimir Kolmogorov, Stanislav Zivny.
    The complexity of conservative valued CSPs.
    Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2012, Kyoto, Japan, January 17-19, 2012 2012 (0) 2012
    Conference paper
    Johan Thapper, Stanislav Zivny.
    The Power of Linear Programming for Valued CSPs.
    53rd Annual IEEE Symposium on Foundations of Computer Science, FOCS 2012, New Brunswick, NJ, USA, October 20-23, 2012 2012 (0) 2012
    Conference paper
    Martin C. Cooper, Stanislav Zivny.
    Hybrid tractability of valued constraint problems.
    Artif. Intell. 2011, Volume 175 (0) 2011
    Conference paper
    David A. Cohen, Páidí Creed, Peter Jeavons, Stanislav Zivny.
    An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection.
    Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Páidí Creed, Stanislav Zivny.
    On Minimal Weighted Clones.
    Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Martin C. Cooper, Stanislav Zivny.
    Hierarchically Nested Convex VCSP.
    Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Martin C. Cooper, Stanislav Zivny.
    Tractable Triangles.
    Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Vladimir Kolmogorov, Stanislav Zivny.
    The complexity of conservative valued CSPs
    CoRR 2011, Volume 0 (0) 2011
    Journal article
    Vladimir Kolmogorov, Stanislav Zivny.
    The complexity of conservative finite-valued CSPs
    CoRR 2010, Volume 0 (0) 2010
    Journal article
    Vladimir Kolmogorov, Stanislav Zivny.
    Generalising tractable VCSPs defined by symmetric tournament pair multimorphisms
    CoRR 2010, Volume 0 (0) 2010
    Journal article
    Martin C. Cooper, Stanislav Zivny.
    Hybrid tractability of soft constraint problems
    CoRR 2010, Volume 0 (0) 2010
    Conference paper
    Martin C. Cooper, Stanislav Zivny.
    A New Hybrid Tractable Class of Soft Constraint Problems.
    Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Stanislav Zivny, Peter Jeavons.
    Classes of submodular constraints expressible by graph cuts.
    Constraints 2010, Volume 15 (0) 2010
    Conference paper
    Stanislav Zivny, Peter Jeavons.
    The Complexity of Valued Constraint Models.
    Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings 2009 (0) 2009
    Conference paper
    Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivny.
    Same-Relation Constraints.
    Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings 2009 (0) 2009
    Conference paper
    Stanislav Zivny, David A. Cohen, Peter Jeavons.
    The Expressive Power of Binary Submodular Functions.
    Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Stanislav Zivny.
    Structural properties of oracle classes.
    Inf. Process. Lett. 2009, Volume 109 (0) 2009
    Conference paper
    Bruno Zanuttini, Stanislav Zivny.
    A note on some collapse results of valued constraints.
    Inf. Process. Lett. 2009, Volume 109 (0) 2009
    Conference paper
    Stanislav Zivny, David A. Cohen, Peter Jeavons.
    The expressive power of binary submodular functions.
    Discrete Applied Mathematics 2009, Volume 157 (0) 2009
    Conference paper
    Stanislav Zivny, Peter Jeavons.
    Classes of Submodular Constraints Expressible by Graph Cuts.
    Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Stanislav Zivny, David A. Cohen, Peter Jeavons.
    The Expressive Power of Binary Submodular Functions
    CoRR 2008, Volume 0 (0) 2008
    Conference paper
    David A. Cohen, Peter Jeavons, Stanislav Zivny.
    The expressive power of valued constraints: Hierarchies and collapses.
    Theor. Comput. Sci. 2008, Volume 409 (0) 2008
    Conference paper
    David A. Cohen, Peter Jeavons, Stanislav Zivny.
    The Expressive Power of Valued Constraints: Hierarchies and Collapses.
    Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings 2007 (0) 2007
    Show item 1 to 78 of 78  

    Your query returned 78 matches in the database.