Power of Algorithms in Discrete Optimisation

Tight Complexity Lower Bounds for Integer Linear Programming with Few Constraints

Autoren: Dušan Knop, Michał Pilipczuk, Marcin Wrochna
Veröffentlicht in: ACM Transactions on Computation Theory, 2020, ISSN 1942-3454
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3397484

Sparsification of Binary CSPs

Autoren: Silvia Butti and Stanislav Živný
Veröffentlicht in: SIAM Journal on Discrete Mathematics, 2020, ISSN 0895-4801
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/19m1242446

On rainbow-free colourings of uniform hypergraphs

Autoren: Ragnar Groot Koerkamp; Stanislav Živný
Veröffentlicht in: Theoretical Computer Science, 2021, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/j.tcs.2021.06.022

Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin

Autoren: Miriam Backens, Andrei Bulatov, Leslie Ann Goldberg, Colin McQuillan, Stanislav Živný
Veröffentlicht in: Journal of Computer and System Sciences, Ausgabe 109, 2020, Seite(n) 95-125, ISSN 0022-0000
Herausgeber: Academic Press
DOI: 10.1016/j.jcss.2019.12.003

The Power of the Combined Basic Linear Programming and Affine Relaxation for Promise Constraint Satisfaction Problems

Autoren: Joshua Brakensiek, Venkatesan Guruswami, Marcin Wrochna, Stanislav Živný
Veröffentlicht in: SIAM Journal on Computing, 2020, ISSN 0097-5397
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/20m1312745

QCSP on Reflexive Tournaments

Autoren: Benoît Larose, Petar Marković, Barnaby Martin, Daniël Palusma, Sani Smith,Stanislav Živný
Veröffentlicht in: ACM Transaction on Computational Logic, 2022, ISSN 1529-3785
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3508069

Using a Min-Cut Generalisation to Go Beyond Boolean Surjective VCSPs

Autoren: Gregor Matl, Stanislav Živný
Veröffentlicht in: Algorithmica, Ausgabe 82/12, 2020, Seite(n) 3492-3520, ISSN 0178-4617
Herausgeber: Springer Verlag
DOI: 10.1007/s00453-020-00735-1

The Complexity of Approximately Counting Retractions

Autoren: Jacob Focke; Leslie Ann Goldberg; Stanislav Živný
Veröffentlicht in: ACM Transactions on Computation Theory, 2020, ISSN 1942-3454
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3397472

Counting Homomorphisms to $K_4$-Minor-Free Graphs, Modulo 2

Autoren: Jacob Focke; Leslie Ann Goldberg; Marc Roth; Stanislav Živný
Veröffentlicht in: Counting Homomorphisms to $K_4$-Minor-Free Graphs, Modulo 2, 2021, ISSN 0895-4801
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/20m1382921

The Combined Basic LP and Affine IP Relaxation for Promise VCSPs on Infinite Domains

Autoren: Caterina Viola, Stanislav Zivny
Veröffentlicht in: ACM Transactions on Algorithms, 2021, ISSN 1549-6325
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3458041

Binary constraint satisfaction problems defined by excluded topological minors

Autoren: David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Živný
Veröffentlicht in: Information and Computation, Ausgabe 264, 2019, Seite(n) 12-31, ISSN 0890-5401
Herausgeber: Academic Press
DOI: 10.1016/j.ic.2018.09.013

Steepest ascent can be exponential in bounded treewidth problems

Autoren: David A. Cohen, Martin C. Cooper, Artem Kaznatcheev, Mark Wallace
Veröffentlicht in: Operations Research Letters, Ausgabe 48/3, 2020, Seite(n) 217-224, ISSN 0167-6377
Herausgeber: Elsevier BV
DOI: 10.1016/j.orl.2020.02.010

The local-global property for G-invariant terms

Autoren: Kazda, Alexandr; Kompatscher, Michael
Veröffentlicht in: International Journal of Algebra and Computation, 2022, ISSN 0218-1967
Herausgeber: World Scientific Publishing Co
DOI: 10.1142/s0218196722500527

Point-Width and Max-CSPs

Autoren: Clement Carbonnel, Miguel Romero, Stanislav Zivny
Veröffentlicht in: ACM Transactions on Algorithms, 2020, ISSN 1549-6325
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3409447

Discrete convexity in joint winner property

Autoren: Yuni Iwamasa, Kazuo Murota, Stanislav Živný
Veröffentlicht in: Discrete Optimization, Ausgabe 28, 2018, Seite(n) 78-88, ISSN 1572-5286
Herausgeber: Elsevier BV
DOI: 10.1016/j.disopt.2018.01.001

The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns

Autoren: Martin C. Cooper and Stanislav Zivny
Veröffentlicht in: Logical Methods in Computer Science, 2017, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-13(4:26)2017

Binarisation for Valued Constraint Satisfaction Problems

Autoren: David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Andrei Krokhin, Robert Powell, Stanislav Živný
Veröffentlicht in: SIAM Journal on Discrete Mathematics, Ausgabe 31/4, 2017, Seite(n) 2279-2300, ISSN 0895-4801
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/16M1088107

Functional clones and expressibility of partition functions

Autoren: Andrei Bulatov, Leslie Ann Goldberg, Mark Jerrum, David Richerby, Stanislav Živný
Veröffentlicht in: Theoretical Computer Science, Ausgabe 687, 2017, Seite(n) 11-39, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/j.tcs.2017.05.001

On planar valued CSPs

Autoren: Peter Fulla, Stanislav Živný
Veröffentlicht in: Journal of Computer and System Sciences, Ausgabe 87, 2017, Seite(n) 104-118, ISSN 0022-0000
Herausgeber: Academic Press
DOI: 10.1016/j.jcss.2017.03.005

The Power of Sherali--Adams Relaxations for General-Valued CSPs

Autoren: Johan Thapper, Stanislav Živný
Veröffentlicht in: SIAM Journal on Computing, Ausgabe 46/4, 2017, Seite(n) 1241-1279, ISSN 0097-5397
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/16M1079245

The Limits of SDP Relaxations for General-Valued CSPs

Autoren: Johan Thapper, Stanislav Živný
Veröffentlicht in: ACM Transactions on Computation Theory, Ausgabe 10/3, 2018, Seite(n) 1-22, ISSN 1942-3454
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3201777

On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

Autoren: Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Živný
Veröffentlicht in: Algorithmica, Ausgabe 81/4, 2019, Seite(n) 1699-1727, ISSN 0178-4617
Herausgeber: Springer Verlag
DOI: 10.1007/s00453-018-0498-2

A Tractable Class of Binary VCSPs via M-Convex Intersection

Autoren: Hiroshi Hirai, Yuni Iwamasa, Kazuo Murota, Stanislav Živný
Veröffentlicht in: ACM Transactions on Algorithms, Ausgabe 15/3, 2019, Seite(n) 1-41, ISSN 1549-6325
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3329862

The Complexity of Promise SAT on Non-Boolean Domains

Autoren: Alex Brandts, Marcin Wrochna, Stanislav Zivny
Veröffentlicht in: ACM Transactions on Computation Theory, 2021, ISSN 1942-3454
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3470867

A More General Theory of Static Approximations for Conjunctive Queries

Autoren: Pablo Barceló, Miguel Romero, Thomas Zeume
Veröffentlicht in: Theory of Computing Systems, Ausgabe 64/5, 2020, Seite(n) 916-964, ISSN 1432-4350
Herausgeber: Springer Verlag
DOI: 10.1007/s00224-019-09924-0

The Complexity of General-Valued Constraint Satisfaction Problems Seen from the Other Side

Autoren: Clément Carbonnel, Miguel Romero, and Stanislav Živný
Veröffentlicht in: SIAM Journal on Computing, 2022, ISSN 0097-5397
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/19m1250121

The Complexity of Approximately Counting Retractions to Square-free Graphs

Autoren: Jacob Focke, Leslie Ann Goldberg, Stanislav Zivny
Veröffentlicht in: ACM Transactions on Algorithms, 2021, ISSN 1549-6325
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3458040

Approximate Counting CSP Seen from the Other Side

Autoren: Andrei Bulatov and Stanislav Živný
Veröffentlicht in: ACM Transactions on Computation Theory, 2020, ISSN 1942-3454
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3389390

Additive Sparsification of CSPs

Autoren: Eden Pelleg and Stanislav Zivny
Veröffentlicht in: European Symposium on Algorithms, 2021
Herausgeber: Dagstuhl
DOI: 10.4230/lipics.esa.2021.75

Beyond PCSP (1-in-3,NAE)

Autoren: Brandts, Alex; Živný, Stanislav
Veröffentlicht in: Proceedings of ICALP, 2021
Herausgeber: Dagstuhl
DOI: 10.4230/lipics.icalp.2021.121

The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains

Autoren: Viola, Caterina; Živný, Stanislav
Veröffentlicht in: 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Ausgabe 1, 2020, Seite(n) 85:1--85:15
Herausgeber: "Schloss Dagstuhl--Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.mfcs.2020.85

The complexity of promise SAT on non-Boolean domains

Autoren: Brandts, Alex; Wrochna, Marcin; Živný, Stanislav
Veröffentlicht in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Ausgabe 1, 2020, Seite(n) 17:1--17:13
Herausgeber: "Schloss Dagstuhl--Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.icalp.2020.17

QCSP on Reflexive Tournaments

Autoren: Benoît Larose and Petar Marković and Barnaby Martin and Daniël Palusma and Siani Smith and Stanislav Živný
Veröffentlicht in: European Symposium on Algorithms, 2021
Herausgeber: Dagstuhl
DOI: 10.4230/lipics.esa.2021.58

Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations

Autoren: Jacob Focke,Leslie Ann Goldberg, Marc Roth, Stanislav Zivny
Veröffentlicht in: Symposium on Principles of Database Systems, 2022
Herausgeber: ACM
DOI: 10.1145/3517804.3526231

Linearly ordered colourings of hypergraphs

Autoren: Tamio-Vesa Nakajima, Stanislav Zivny
Veröffentlicht in: Proceedings of ICALP, 2022
Herausgeber: Dagstuhl
DOI: 10.4230/lipics.icalp.2022.128

Beyond JWP: A Tractable Class of Binary VCSPs via M-Convex Intersection

Autoren: Hirai, Hiroshi ; Iwamasa, Yuni ; Murota, Kazuo ; Zivny, Stanislav
Veröffentlicht in: 2018
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.STACS.2018.39

The Complexity of Counting Surjective Homomorphisms and Compactions

Autoren: Jacob Focke, Leslie Ann Goldberg, Stanislav Živný
Veröffentlicht in: Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 2018, Seite(n) 1772-1781
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975031.116

On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

Autoren: Carbonnel, Clement; Cohen, David A.; Cooper, Martin C.; Zivny, Stanislav
Veröffentlicht in: 35th Symposium on Theoretical Aspects of Computer Science (STACS 2018), 2018
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.STACS.2018.19

The limits of SDP relaxations for general-valued CSPs

Autoren: Johan Thapper, Stanislav Zivny
Veröffentlicht in: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Seite(n) 1-12, ISBN 978-1-5090-3018-7
Herausgeber: IEEE
DOI: 10.1109/LICS.2017.8005087

The Complexity of Boolean Surjective General-Valued CSPs

Autoren: Peter Fulla, Stanislav Zivny
Veröffentlicht in: 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), 2017
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.MFCS.2017.4

The Tractability Frontier of Well-designed SPARQL Queries

Autoren: Miguel Romero
Veröffentlicht in: Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - SIGMOD/PODS '18, 2018, Seite(n) 295-306, ISBN 9781-450347068
Herausgeber: ACM Press
DOI: 10.1145/3196959.3196973

Tight Complexity Lower Bounds for Integer Linear Programming with Few Constraints

Autoren: Dusan Knop, Michal Pilipczuk, Marcin Wrochna
Veröffentlicht in: 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), 2019
Herausgeber: LIPICS
DOI: 10.4230/lipics.stacs.2019.44

The Complexity of General-Valued CSPs Seen from the Other Side

Autoren: Clement Carbonnel, Miguel Romero, Stanislav Zivny
Veröffentlicht in: 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), 2018, Seite(n) 236-246, ISBN 978-1-5386-4230-6
Herausgeber: IEEE
DOI: 10.1109/focs.2018.00031

Beyond Boolean Surjective VCSPs

Autoren: Gregor Matl Stanislav Zivny
Veröffentlicht in: 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), 2019
Herausgeber: LIPICS
DOI: 10.4230/lipics.stacs.2019.52

Sparsification of Binary CSPs

Autoren: Silvia Butti Stanislav Zivny
Veröffentlicht in: 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), 2019
Herausgeber: LIPICS
DOI: 10.4230/lipics.stacs.2019.17

Point-width and Max-CSPs

Autoren: Clement Carbonnel, Miguel Romero, Stanislav Zivny
Veröffentlicht in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Seite(n) 1-13, ISBN 978-1-7281-3608-0
Herausgeber: IEEE
DOI: 10.1109/lics.2019.8785660

Approximate counting CSP seen from the other side

Autoren: Bulatov, Andrei A.; Zivny, Stanislav
Veröffentlicht in: 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), Ausgabe 2, 2019, Seite(n) 60:1--60:14
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.mfcs.2019.60

Boundedness of Conjunctive Regular Path Queries

Autoren: Barceló, Pablo; Figueira, Diego; Romero, Miguel
Veröffentlicht in: International Colloquium on Automata, Languages, and Programming (ICALP), Ausgabe 1, 2019
Herausgeber: LIPICS
DOI: 10.4230/lipics.icalp.2019.104

Sallow: a heuristic algorithm for treedepth decompositions

Autoren: Wrochna, Marcin
Veröffentlicht in: 15th International Symposium on Parameterized and Exact Computation (IPEC 2020), Ausgabe 1, 2020, Seite(n) 36:1--36:4
Herausgeber: "Schloss Dagstuhl--Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.ipec.2020.36

CLAP: A New Algorithm for Promise CSPs

Autoren: Lorenzo Ciardo, Stanislav Zivny
Veröffentlicht in: Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2022
Herausgeber: ACM
DOI: 10.1137/1.9781611977073.46

Galois Connections for Patterns: An Algebra of Labelled Graphs

Autoren: David Cohen, Martin Cooper, Peter Jeavons, Stanislav Živný
Veröffentlicht in: Graph Structures for Knowledge Representation and Reasoning, 2020
Herausgeber: Springer
DOI: 10.1007/978-3-030-72308-8_9

PTAS for sparse general-valued CSPs

Autoren: Balázs Mezei, Marcin Wrochna, Stanislav Živný
Veröffentlicht in: Logic in Computer Science, 2021
Herausgeber: IEEE
DOI: 10.1109/lics52264.2021.9470599

On Monotonic Determinacy and Rewritability for Recursive Queries and Views

Autoren: Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero
Veröffentlicht in: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020, Seite(n) 131-148, ISBN 9781450371087
Herausgeber: ACM
DOI: 10.1145/3375395.3387661

Improved hardness for H -colourings of G -colourable graphs

Autoren: Marcin Wrochna, Stanislav Živný
Veröffentlicht in: Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2020, Seite(n) 1426-1435, ISBN 978-1-61197-599-4
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975994.86

Integer Programming and Incidence Treedepth

Autoren: Eduard Eiben, Robert Ganian, Dušan Knop, Sebastian Ordyniak, Michał Pilipczuk, Marcin Wrochna
Veröffentlicht in: Integer Programming and Combinatorial Optimization - 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings, Ausgabe 11480, 2019, Seite(n) 194-204, ISBN 978-3-030-17952-6
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-17953-3_15

The Complexity of Approximately Counting Retractions

Autoren: Jacob Focke, Leslie Ann Goldberg, Stanislav Živný
Veröffentlicht in: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2019, Seite(n) 2205-2215, ISBN 978-1-61197-548-2
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975482.133

Treewidth-Pliability and PTAS for Max-CSPs

Autoren: Miguel Romero, Marcin Wrochna, Stanislav Živný
Veröffentlicht in: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), 2021, Seite(n) 473-483, ISBN 978-1-61197-646-5
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611976465.29

Counting Homomorphisms to K 4 -minor-free Graphs, modulo 2

Autoren: Jacob Focke, Leslie Ann Goldberg, Marc Roth, Stanislav Živný
Veröffentlicht in: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), 2021, Seite(n) 2303-2314, ISBN 978-1-61197-646-5
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611976465.137

Veröffentlichungen

Diese Seite teilen

Herunterladen