Zivný, Stanislav

5 publications

AAAI 2015 Binarisation via Dualisation for Valued Constraints David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný

IJCAI 2015 Tractable Classes of Binary CSPs Defined by Excluded Topological Minors David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný

AAAI 2014 Backdoors into Heterogeneous Classes of SAT and CSP Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivný

IJCAI 2013 Variable Elimination in Binary CSP via Forbidden Patterns David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný

JAIR 2012 Tractable Triangles and Cross-Free Convexity in Discrete Optimisation Martin C. Cooper, Stanislav Zivný