42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 1-1388, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@Proceedings{beyersdorff_et_al:LIPIcs.STACS.2025, title = {{LIPIcs, Volume 327, STACS 2025, Complete Volume}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {1--1388}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025}, URN = {urn:nbn:de:0030-drops-229403}, doi = {10.4230/LIPIcs.STACS.2025}, annote = {Keywords: LIPIcs, Volume 327, STACS 2025, Complete Volume} }
42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 0:i-0:xxvi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{beyersdorff_et_al:LIPIcs.STACS.2025.0, author = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {0:i--0:xxvi}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.0}, URN = {urn:nbn:de:0030-drops-229393}, doi = {10.4230/LIPIcs.STACS.2025.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Albert Atserias. Proof Complexity and Its Relations to SAT Solving (Invited Talk). In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, p. 1:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{atserias:LIPIcs.STACS.2025.1, author = {Atserias, Albert}, title = {{Proof Complexity and Its Relations to SAT Solving}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {1:1--1:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.1}, URN = {urn:nbn:de:0030-drops-228260}, doi = {10.4230/LIPIcs.STACS.2025.1}, annote = {Keywords: Propositional logic, proof systems, Resolution, cutting planes, integer linear programming, automatability, NP-hardness, satisfiability, heuristics, search} }
Daniel Dadush, Zhuan Khye Koh, Bento Natura, Neil Olver, and László A. Végh. A Strongly Polynomial Algorithm for Linear Programs with at Most Two Non-Zero Entries per Row or Column (Invited Talk). In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, p. 2:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{dadush_et_al:LIPIcs.STACS.2025.2, author = {Dadush, Daniel and Koh, Zhuan Khye and Natura, Bento and Olver, Neil and V\'{e}gh, L\'{a}szl\'{o} A.}, title = {{A Strongly Polynomial Algorithm for Linear Programs with at Most Two Non-Zero Entries per Row or Column}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {2:1--2:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.2}, URN = {urn:nbn:de:0030-drops-228273}, doi = {10.4230/LIPIcs.STACS.2025.2}, annote = {Keywords: Linear Programming, Strongly Polynomial Algorithms, Interior Point Methods} }
Anupam Das. Algebras for Automata: Reasoning with Regularity (Invited Talk). In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, p. 3:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{das:LIPIcs.STACS.2025.3, author = {Das, Anupam}, title = {{Algebras for Automata: Reasoning with Regularity}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {3:1--3:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.3}, URN = {urn:nbn:de:0030-drops-228281}, doi = {10.4230/LIPIcs.STACS.2025.3}, annote = {Keywords: Regular languages, Linear grammars, Proof theory, Cyclic proofs, Automata theory, Fixed points, Games} }
Susanna F. de Rezende. Some Recent Advancements in Monotone Circuit Complexity (Invited Talk). In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 4:1-4:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{derezende:LIPIcs.STACS.2025.4, author = {de Rezende, Susanna F.}, title = {{Some Recent Advancements in Monotone Circuit Complexity}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {4:1--4:2}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.4}, URN = {urn:nbn:de:0030-drops-228291}, doi = {10.4230/LIPIcs.STACS.2025.4}, annote = {Keywords: monotone circuit complexity, query complexity, lifting theorems} }
Akanksha Agrawal, Daniel Lokshtanov, Fahad Panolan, Saket Saurabh, and Shaily Verma. Parameterized Saga of First-Fit and Last-Fit Coloring. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 5:1-5:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{agrawal_et_al:LIPIcs.STACS.2025.5, author = {Agrawal, Akanksha and Lokshtanov, Daniel and Panolan, Fahad and Saurabh, Saket and Verma, Shaily}, title = {{Parameterized Saga of First-Fit and Last-Fit Coloring}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {5:1--5:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.5}, URN = {urn:nbn:de:0030-drops-228304}, doi = {10.4230/LIPIcs.STACS.2025.5}, annote = {Keywords: Grundy Coloring, Partial Grundy Coloring, FPT Algorithm, K\underline\{i,j\}-free graphs} }
Jungho Ahn, Hugo Jacob, Noleen Köhler, Christophe Paul, Amadeus Reinald, and Sebastian Wiederrecht. Twin-Width One. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 6:1-6:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{ahn_et_al:LIPIcs.STACS.2025.6, author = {Ahn, Jungho and Jacob, Hugo and K\"{o}hler, Noleen and Paul, Christophe and Reinald, Amadeus and Wiederrecht, Sebastian}, title = {{Twin-Width One}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {6:1--6:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.6}, URN = {urn:nbn:de:0030-drops-228319}, doi = {10.4230/LIPIcs.STACS.2025.6}, annote = {Keywords: Twin-width, Hereditary graph classes, Intersection model} }
Shyan Akmal and Tomohiro Koana. Faster Edge Coloring by Partition Sieving. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 7:1-7:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{akmal_et_al:LIPIcs.STACS.2025.7, author = {Akmal, Shyan and Koana, Tomohiro}, title = {{Faster Edge Coloring by Partition Sieving}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {7:1--7:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.7}, URN = {urn:nbn:de:0030-drops-228328}, doi = {10.4230/LIPIcs.STACS.2025.7}, annote = {Keywords: Coloring, Edge coloring, Chromatic index, Matroid, Pfaffian, Algebraic algorithm} }
Yaroslav Alekseev, Dima Grigoriev, and Edward A. Hirsch. Tropical Proof Systems: Between R(CP) and Resolution. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 8:1-8:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{alekseev_et_al:LIPIcs.STACS.2025.8, author = {Alekseev, Yaroslav and Grigoriev, Dima and Hirsch, Edward A.}, title = {{Tropical Proof Systems: Between R(CP) and Resolution}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {8:1--8:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.8}, URN = {urn:nbn:de:0030-drops-228332}, doi = {10.4230/LIPIcs.STACS.2025.8}, annote = {Keywords: Cutting Planes, Nullstellensatz refutations, Res(CP), semi-algebraic proofs, tropical proof systems, tropical semiring} }
Sharareh Alipour, Ermiya Farokhnejad, and Tobias Mömke. Improved Approximation Algorithms for (1,2)-TSP and Max-TSP Using Path Covers in the Semi-Streaming Model. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 9:1-9:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{alipour_et_al:LIPIcs.STACS.2025.9, author = {Alipour, Sharareh and Farokhnejad, Ermiya and M\"{o}mke, Tobias}, title = {{Improved Approximation Algorithms for (1,2)-TSP and Max-TSP Using Path Covers in the Semi-Streaming Model}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {9:1--9:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.9}, URN = {urn:nbn:de:0030-drops-228342}, doi = {10.4230/LIPIcs.STACS.2025.9}, annote = {Keywords: (1,2)-TSP, Max-TSP, Maximum Path Cover, Semi-Streaming Algorithms, Approximation Algorithms, Graph Algorithms} }
Quentin Aristote. Monotone Weak Distributive Laws over the Lifted Powerset Monad in Categories of Algebras. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 10:1-10:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{aristote:LIPIcs.STACS.2025.10, author = {Aristote, Quentin}, title = {{Monotone Weak Distributive Laws over the Lifted Powerset Monad in Categories of Algebras}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {10:1--10:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.10}, URN = {urn:nbn:de:0030-drops-228356}, doi = {10.4230/LIPIcs.STACS.2025.10}, annote = {Keywords: weak distributive law, weak extension, weak lifting, iterated distributive law, Yang-Baxter equation, powerset monad, Vietoris monad, Radon monad, Eilenberg-Moore category, regular category, relational extension} }
Srinivasan Arunachalam and Louis Schatzki. Generalized Inner Product Estimation with Limited Quantum Communication. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 11:1-11:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{arunachalam_et_al:LIPIcs.STACS.2025.11, author = {Arunachalam, Srinivasan and Schatzki, Louis}, title = {{Generalized Inner Product Estimation with Limited Quantum Communication}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {11:1--11:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.11}, URN = {urn:nbn:de:0030-drops-228366}, doi = {10.4230/LIPIcs.STACS.2025.11}, annote = {Keywords: Quantum property testing, Quantum Distributed Algorithms} }
Christine Awofeso, Patrick Greaves, Oded Lachish, and Felix Reidl. Results on H-Freeness Testing in Graphs of Bounded r-Admissibility. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 12:1-12:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{awofeso_et_al:LIPIcs.STACS.2025.12, author = {Awofeso, Christine and Greaves, Patrick and Lachish, Oded and Reidl, Felix}, title = {{Results on H-Freeness Testing in Graphs of Bounded r-Admissibility}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {12:1--12:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.12}, URN = {urn:nbn:de:0030-drops-228378}, doi = {10.4230/LIPIcs.STACS.2025.12}, annote = {Keywords: Property Testing, Sparse Graphs, Degeneracy, Admissibility} }
Samuel Baguley, Yannic Maus, Janosch Ruff, and George Skretas. Hyperbolic Random Graphs: Clique Number and Degeneracy with Implications for Colouring. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 13:1-13:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{baguley_et_al:LIPIcs.STACS.2025.13, author = {Baguley, Samuel and Maus, Yannic and Ruff, Janosch and Skretas, George}, title = {{Hyperbolic Random Graphs: Clique Number and Degeneracy with Implications for Colouring}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {13:1--13:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.13}, URN = {urn:nbn:de:0030-drops-228386}, doi = {10.4230/LIPIcs.STACS.2025.13}, annote = {Keywords: hyperbolic random graphs, scale-free networks, power-law graphs, cliques, degeneracy, vertex colouring, chromatic number} }
Aritra Banik, Fedor V. Fomin, Petr A. Golovach, Tanmay Inamdar, Satyabrata Jana, and Saket Saurabh. Multivariate Exploration of Metric Dilation. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 14:1-14:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{banik_et_al:LIPIcs.STACS.2025.14, author = {Banik, Aritra and Fomin, Fedor V. and Golovach, Petr A. and Inamdar, Tanmay and Jana, Satyabrata and Saurabh, Saket}, title = {{Multivariate Exploration of Metric Dilation}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {14:1--14:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.14}, URN = {urn:nbn:de:0030-drops-228395}, doi = {10.4230/LIPIcs.STACS.2025.14}, annote = {Keywords: Metric dilation, geometric spanner, fixed-parameter tractability} }
Max Bannach and Markus Hecher. Structure-Guided Automated Reasoning. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 15:1-15:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bannach_et_al:LIPIcs.STACS.2025.15, author = {Bannach, Max and Hecher, Markus}, title = {{Structure-Guided Automated Reasoning}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {15:1--15:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.15}, URN = {urn:nbn:de:0030-drops-228408}, doi = {10.4230/LIPIcs.STACS.2025.15}, annote = {Keywords: automated reasoning, treewidth, satisfiability, max-sat, sharp-sat, monadic second-order logic, fixed-parameter tractability} }
Nastaran Behrooznia and Torsten Mütze. Listing Spanning Trees of Outerplanar Graphs by Pivot-Exchanges. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 16:1-16:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{behrooznia_et_al:LIPIcs.STACS.2025.16, author = {Behrooznia, Nastaran and M\"{u}tze, Torsten}, title = {{Listing Spanning Trees of Outerplanar Graphs by Pivot-Exchanges}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {16:1--16:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.16}, URN = {urn:nbn:de:0030-drops-228411}, doi = {10.4230/LIPIcs.STACS.2025.16}, annote = {Keywords: Spanning tree, generation, edge exchange, Hamilton path, Gray code} }
Matthias Bentert, Fedor V. Fomin, and Petr A. Golovach. Tight Approximation and Kernelization Bounds for Vertex-Disjoint Shortest Paths. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 17:1-17:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bentert_et_al:LIPIcs.STACS.2025.17, author = {Bentert, Matthias and Fomin, Fedor V. and Golovach, Petr A.}, title = {{Tight Approximation and Kernelization Bounds for Vertex-Disjoint Shortest Paths}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {17:1--17:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.17}, URN = {urn:nbn:de:0030-drops-228422}, doi = {10.4230/LIPIcs.STACS.2025.17}, annote = {Keywords: Inapproximability, Fixed-parameter tractability, Parameterized approximation} }
Marcin Bienkowski, Jarosław Byrka, and Łukasz Jeż. Online Disjoint Set Covers: Randomization Is Not Necessary. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 18:1-18:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bienkowski_et_al:LIPIcs.STACS.2025.18, author = {Bienkowski, Marcin and Byrka, Jaros{\l}aw and Je\.{z}, {\L}ukasz}, title = {{Online Disjoint Set Covers: Randomization Is Not Necessary}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {18:1--18:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.18}, URN = {urn:nbn:de:0030-drops-228433}, doi = {10.4230/LIPIcs.STACS.2025.18}, annote = {Keywords: Disjoint Set Covers, Derandomization, pessimistic Estimator, potential Function, online Algorithms, competitive Analysis} }
Benjamin Bordais, Daniel Neider, and Rajarshi Roy. The Complexity of Learning LTL, CTL and ATL Formulas. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 19:1-19:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bordais_et_al:LIPIcs.STACS.2025.19, author = {Bordais, Benjamin and Neider, Daniel and Roy, Rajarshi}, title = {{The Complexity of Learning LTL, CTL and ATL Formulas}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {19:1--19:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.19}, URN = {urn:nbn:de:0030-drops-228441}, doi = {10.4230/LIPIcs.STACS.2025.19}, annote = {Keywords: Temporal logic, passive learning, complexity} }
Roberto Borelli, Luca Geatti, Marco Montali, and Angelo Montanari. On Cascades of Reset Automata. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 20:1-20:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{borelli_et_al:LIPIcs.STACS.2025.20, author = {Borelli, Roberto and Geatti, Luca and Montali, Marco and Montanari, Angelo}, title = {{On Cascades of Reset Automata}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {20:1--20:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.20}, URN = {urn:nbn:de:0030-drops-228453}, doi = {10.4230/LIPIcs.STACS.2025.20}, annote = {Keywords: Automata, Cascade products, Regular expressions, Krohn-Rhodes theory} }
Antonin Callard, Léo Paviet Salomon, and Pascal Vanier. Computability of Extender Sets in Multidimensional Subshifts. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 21:1-21:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{callard_et_al:LIPIcs.STACS.2025.21, author = {Callard, Antonin and Paviet Salomon, L\'{e}o and Vanier, Pascal}, title = {{Computability of Extender Sets in Multidimensional Subshifts}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {21:1--21:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.21}, URN = {urn:nbn:de:0030-drops-228462}, doi = {10.4230/LIPIcs.STACS.2025.21}, annote = {Keywords: Symbolic dynamics, subshifts, extender sets, extender entropy, computability, sofic shifts, tilings} }
Rutger Campbell, Bruno Guillon, Mamadou Moustapha Kanté, Eun Jung Kim, and Noleen Köhler. CMSO-Transducing Tree-Like Graph Decompositions. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 22:1-22:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{campbell_et_al:LIPIcs.STACS.2025.22, author = {Campbell, Rutger and Guillon, Bruno and Kant\'{e}, Mamadou Moustapha and Kim, Eun Jung and K\"{o}hler, Noleen}, title = {{CMSO-Transducing Tree-Like Graph Decompositions}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {22:1--22:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.22}, URN = {urn:nbn:de:0030-drops-228474}, doi = {10.4230/LIPIcs.STACS.2025.22}, annote = {Keywords: MSO-transduction, MSO-definability, graph decomposisions} }
Rémy Cerda and Lionel Vaux Auclair. How to Play the Accordion: Uniformity and the (Non-)Conservativity of the Linear Approximation of the λ-Calculus. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 23:1-23:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{cerda_et_al:LIPIcs.STACS.2025.23, author = {Cerda, R\'{e}my and Vaux Auclair, Lionel}, title = {{How to Play the Accordion: Uniformity and the (Non-)Conservativity of the Linear Approximation of the \lambda-Calculus}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {23:1--23:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.23}, URN = {urn:nbn:de:0030-drops-228480}, doi = {10.4230/LIPIcs.STACS.2025.23}, annote = {Keywords: program approximation, quantitative semantics, lambda-calculus, linear approximation, Taylor expansion, conservativity} }
Keerti Choudhary and Rishabh Dhiman. A Deterministic Approach to Shortest Path Restoration in Edge Faulty Graphs. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 24:1-24:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{choudhary_et_al:LIPIcs.STACS.2025.24, author = {Choudhary, Keerti and Dhiman, Rishabh}, title = {{A Deterministic Approach to Shortest Path Restoration in Edge Faulty Graphs}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {24:1--24:10}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.24}, URN = {urn:nbn:de:0030-drops-228499}, doi = {10.4230/LIPIcs.STACS.2025.24}, annote = {Keywords: Fault-tolerant Data-structures, Shortest Path Restoration, Replacement path} }
Aleksander Bjørn Christiansen, Ivor van der Hoog, and Eva Rotenberg. Local Density and Its Distributed Approximation. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 25:1-25:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{christiansen_et_al:LIPIcs.STACS.2025.25, author = {Christiansen, Aleksander Bj{\o}rn and van der Hoog, Ivor and Rotenberg, Eva}, title = {{Local Density and Its Distributed Approximation}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {25:1--25:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.25}, URN = {urn:nbn:de:0030-drops-228502}, doi = {10.4230/LIPIcs.STACS.2025.25}, annote = {Keywords: Distributed graph algorithms, graph density computation, graph density approximation, network analysis theory} }
Nikolai Chukhin, Alexander S. Kulikov, and Ivan Mihajlin. Toward Better Depth Lower Bounds: Strong Composition of XOR and a Random Function. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 26:1-26:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{chukhin_et_al:LIPIcs.STACS.2025.26, author = {Chukhin, Nikolai and Kulikov, Alexander S. and Mihajlin, Ivan}, title = {{Toward Better Depth Lower Bounds: Strong Composition of XOR and a Random Function}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {26:1--26:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.26}, URN = {urn:nbn:de:0030-drops-228513}, doi = {10.4230/LIPIcs.STACS.2025.26}, annote = {Keywords: complexity, formula complexity, lower bounds, Boolean functions, depth} }
Nathan Claudet and Simon Perdrix. Local Equivalence of Stabilizer States: A Graphical Characterisation. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 27:1-27:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{claudet_et_al:LIPIcs.STACS.2025.27, author = {Claudet, Nathan and Perdrix, Simon}, title = {{Local Equivalence of Stabilizer States: A Graphical Characterisation}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {27:1--27:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.27}, URN = {urn:nbn:de:0030-drops-228527}, doi = {10.4230/LIPIcs.STACS.2025.27}, annote = {Keywords: Quantum computing, Graph theory, Entanglement, Local complementation} }
Radu Curticapean, Simon Döring, Daniel Neuen, and Jiaheng Wang. Can You Link Up With Treewidth?. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 28:1-28:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{curticapean_et_al:LIPIcs.STACS.2025.28, author = {Curticapean, Radu and D\"{o}ring, Simon and Neuen, Daniel and Wang, Jiaheng}, title = {{Can You Link Up With Treewidth?}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {28:1--28:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.28}, URN = {urn:nbn:de:0030-drops-228534}, doi = {10.4230/LIPIcs.STACS.2025.28}, annote = {Keywords: subgraph isomorphism, constraint satisfaction problems, linkage capacity, exponential-time hypothesis, parameterized complexity, counting complexity} }
Dariusz Dereniowski, Aleksander Łukasiewicz, and Przemysław Uznański. Noisy (Binary) Searching: Simple, Fast and Correct. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 29:1-29:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{dereniowski_et_al:LIPIcs.STACS.2025.29, author = {Dereniowski, Dariusz and {\L}ukasiewicz, Aleksander and Uzna\'{n}ski, Przemys{\l}aw}, title = {{Noisy (Binary) Searching: Simple, Fast and Correct}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {29:1--29:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.29}, URN = {urn:nbn:de:0030-drops-228551}, doi = {10.4230/LIPIcs.STACS.2025.29}, annote = {Keywords: Graph Algorithms, Noisy Binary Search, Query Complexity, Reliability} }
Stéphane Devismes, David Ilcinkas, Colette Johnen, and Frédéric Mazoit. Being Efficient in Time, Space, and Workload: a Self-Stabilizing Unison and Its Consequences. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 30:1-30:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{devismes_et_al:LIPIcs.STACS.2025.30, author = {Devismes, St\'{e}phane and Ilcinkas, David and Johnen, Colette and Mazoit, Fr\'{e}d\'{e}ric}, title = {{Being Efficient in Time, Space, and Workload: a Self-Stabilizing Unison and Its Consequences}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {30:1--30:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.30}, URN = {urn:nbn:de:0030-drops-228568}, doi = {10.4230/LIPIcs.STACS.2025.30}, annote = {Keywords: Self-stabilization, unison, time complexity, synchronizer} }
Leah Epstein and Asaf Levin. Efficient Approximation Schemes for Scheduling on a Stochastic Number of Machines. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 31:1-31:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{epstein_et_al:LIPIcs.STACS.2025.31, author = {Epstein, Leah and Levin, Asaf}, title = {{Efficient Approximation Schemes for Scheduling on a Stochastic Number of Machines}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {31:1--31:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.31}, URN = {urn:nbn:de:0030-drops-228579}, doi = {10.4230/LIPIcs.STACS.2025.31}, annote = {Keywords: Approximation algorithms, Approximation schemes, Two-stage stochastic optimization problems, Multiprocessor scheduling} }
Nick Fischer, Evangelos Kipouridis, Jonas Klausen, and Mikkel Thorup. A Faster Algorithm for Constrained Correlation Clustering. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 32:1-32:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{fischer_et_al:LIPIcs.STACS.2025.32, author = {Fischer, Nick and Kipouridis, Evangelos and Klausen, Jonas and Thorup, Mikkel}, title = {{A Faster Algorithm for Constrained Correlation Clustering}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {32:1--32:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.32}, URN = {urn:nbn:de:0030-drops-228585}, doi = {10.4230/LIPIcs.STACS.2025.32}, annote = {Keywords: Clustering, Constrained Correlation Clustering, Approximation} }
Florent Foucaud, Esther Galby, Liana Khazaliya, Shaohua Li, Fionn Mc Inerney, Roohani Sharma, and Prafullkumar Tale. Metric Dimension and Geodetic Set Parameterized by Vertex Cover. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 33:1-33:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{foucaud_et_al:LIPIcs.STACS.2025.33, author = {Foucaud, Florent and Galby, Esther and Khazaliya, Liana and Li, Shaohua and Mc Inerney, Fionn and Sharma, Roohani and Tale, Prafullkumar}, title = {{Metric Dimension and Geodetic Set Parameterized by Vertex Cover}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {33:1--33:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.33}, URN = {urn:nbn:de:0030-drops-228593}, doi = {10.4230/LIPIcs.STACS.2025.33}, annote = {Keywords: Parameterized Complexity, ETH-based Lower Bounds, Kernelization, Vertex Cover, Metric Dimension, Geodetic Set} }
Pierre Fraigniaud, Minh Hang Nguyen, and Ami Paz. Agreement Tasks in Fault-Prone Synchronous Networks of Arbitrary Structure. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 34:1-34:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{fraigniaud_et_al:LIPIcs.STACS.2025.34, author = {Fraigniaud, Pierre and Nguyen, Minh Hang and Paz, Ami}, title = {{Agreement Tasks in Fault-Prone Synchronous Networks of Arbitrary Structure}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {34:1--34:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.34}, URN = {urn:nbn:de:0030-drops-228606}, doi = {10.4230/LIPIcs.STACS.2025.34}, annote = {Keywords: Consensus, set-agreement, fault tolerance, crash failures} }
Ameet Gadekar and Tanmay Inamdar. Dimension-Free Parameterized Approximation Schemes for Hybrid Clustering. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 35:1-35:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{gadekar_et_al:LIPIcs.STACS.2025.35, author = {Gadekar, Ameet and Inamdar, Tanmay}, title = {{Dimension-Free Parameterized Approximation Schemes for Hybrid Clustering}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {35:1--35:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.35}, URN = {urn:nbn:de:0030-drops-228615}, doi = {10.4230/LIPIcs.STACS.2025.35}, annote = {Keywords: Clustering, Parameterized algorithms, FPT approximation, k-Median, k-Center} }
Ajinkya Gaikwad, Hitendra Kumar, Soumen Maity, Saket Saurabh, and Roohani Sharma. MaxMin Separation Problems: FPT Algorithms for st-Separator and Odd Cycle Transversal. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 36:1-36:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{gaikwad_et_al:LIPIcs.STACS.2025.36, author = {Gaikwad, Ajinkya and Kumar, Hitendra and Maity, Soumen and Saurabh, Saket and Sharma, Roohani}, title = {{MaxMin Separation Problems: FPT Algorithms for st-Separator and Odd Cycle Transversal}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {36:1--36:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.36}, URN = {urn:nbn:de:0030-drops-228622}, doi = {10.4230/LIPIcs.STACS.2025.36}, annote = {Keywords: Parameterized Complexity, FPT, MaxMin problems, Maximum Minimal st-separator, Maximum Minimal Odd Cycle Transversal, Unbreakable Graphs, CMSO, Long Induced Odd Cycles, Sunflower Lemma} }
Jorge Gallego-Hernández and Alessio Mansutti. On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 37:1-37:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{gallegohernandez_et_al:LIPIcs.STACS.2025.37, author = {Gallego-Hern\'{a}ndez, Jorge and Mansutti, Alessio}, title = {{On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {37:1--37:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.37}, URN = {urn:nbn:de:0030-drops-228635}, doi = {10.4230/LIPIcs.STACS.2025.37}, annote = {Keywords: Theory of the reals with exponentiation, decision procedures, computability} }
Arnab Ganguly, Daniel Gibney, Rahul Shah, and Sharma V. Thankachan. Two-Dimensional Longest Common Extension Queries in Compact Space. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 38:1-38:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{ganguly_et_al:LIPIcs.STACS.2025.38, author = {Ganguly, Arnab and Gibney, Daniel and Shah, Rahul and Thankachan, Sharma V.}, title = {{Two-Dimensional Longest Common Extension Queries in Compact Space}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {38:1--38:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.38}, URN = {urn:nbn:de:0030-drops-228649}, doi = {10.4230/LIPIcs.STACS.2025.38}, annote = {Keywords: String matching, text indexing, two-dimensional text} }
Ebrahim Ghorbani, Jonah Leander Hoff, and Matthias Mnich. A Quasi-Polynomial Time Algorithm for Multi-Arrival on Tree-Like Multigraphs. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 39:1-39:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{ghorbani_et_al:LIPIcs.STACS.2025.39, author = {Ghorbani, Ebrahim and Leander Hoff, Jonah and Mnich, Matthias}, title = {{A Quasi-Polynomial Time Algorithm for Multi-Arrival on Tree-Like Multigraphs}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {39:1--39:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.39}, URN = {urn:nbn:de:0030-drops-228658}, doi = {10.4230/LIPIcs.STACS.2025.39}, annote = {Keywords: Arrival, Rotor-routing, Tree-like Multigraph, Path-Like Multigraph, Fixed-Parameter Tractability} }
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, and Paul Wild. Identity-Preserving Lax Extensions and Where to Find Them. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 40:1-40:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{goncharov_et_al:LIPIcs.STACS.2025.40, author = {Goncharov, Sergey and Hofmann, Dirk and Nora, Pedro and Schr\"{o}der, Lutz and Wild, Paul}, title = {{Identity-Preserving Lax Extensions and Where to Find Them}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {40:1--40:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.40}, URN = {urn:nbn:de:0030-drops-228665}, doi = {10.4230/LIPIcs.STACS.2025.40}, annote = {Keywords: (Bi-)simulations, lax extensions, modal logics, coalgebra} }
Jakob Greilhuber, Philipp Schepper, and Philip Wellnitz. Residue Domination in Bounded-Treewidth Graphs. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 41:1-41:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{greilhuber_et_al:LIPIcs.STACS.2025.41, author = {Greilhuber, Jakob and Schepper, Philipp and Wellnitz, Philip}, title = {{Residue Domination in Bounded-Treewidth Graphs}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {41:1--41:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.41}, URN = {urn:nbn:de:0030-drops-228675}, doi = {10.4230/LIPIcs.STACS.2025.41}, annote = {Keywords: Parameterized Complexity, Treewidth, Generalized Dominating Set, Strong Exponential Time Hypothesis} }
Mohit Gurumukhani, Ramamohan Paturi, Michael Saks, and Navid Talebanfard. Local Enumeration: The Not-All-Equal Case. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 42:1-42:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{gurumukhani_et_al:LIPIcs.STACS.2025.42, author = {Gurumukhani, Mohit and Paturi, Ramamohan and Saks, Michael and Talebanfard, Navid}, title = {{Local Enumeration: The Not-All-Equal Case}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {42:1--42:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.42}, URN = {urn:nbn:de:0030-drops-228680}, doi = {10.4230/LIPIcs.STACS.2025.42}, annote = {Keywords: Depth 3 circuits, k-CNF satisfiability, Circuit lower bounds, Majority function} }
Sariel Har-Peled and Saladi Rahul. Approximating Densest Subgraph in Geometric Intersection Graphs. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 43:1-43:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{harpeled_et_al:LIPIcs.STACS.2025.43, author = {Har-Peled, Sariel and Rahul, Saladi}, title = {{Approximating Densest Subgraph in Geometric Intersection Graphs}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {43:1--43:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.43}, URN = {urn:nbn:de:0030-drops-228697}, doi = {10.4230/LIPIcs.STACS.2025.43}, annote = {Keywords: Geometric intersection graphs, Densest subgraph, Range searching, Approximation algorithms} }
Tim A. Hartmann and Dániel Marx. Independence and Domination on Bounded-Treewidth Graphs: Integer, Rational, and Irrational Distances. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 44:1-44:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{hartmann_et_al:LIPIcs.STACS.2025.44, author = {Hartmann, Tim A. and Marx, D\'{a}niel}, title = {{Independence and Domination on Bounded-Treewidth Graphs: Integer, Rational, and Irrational Distances}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {44:1--44:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.44}, URN = {urn:nbn:de:0030-drops-228700}, doi = {10.4230/LIPIcs.STACS.2025.44}, annote = {Keywords: Independence, Domination, Irrationals, Treewidth, SETH} }
Deborah Haun, Laura Merker, and Sergey Pupyrev. Forbidden Patterns in Mixed Linear Layouts. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 45:1-45:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{haun_et_al:LIPIcs.STACS.2025.45, author = {Haun, Deborah and Merker, Laura and Pupyrev, Sergey}, title = {{Forbidden Patterns in Mixed Linear Layouts}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {45:1--45:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.45}, URN = {urn:nbn:de:0030-drops-228717}, doi = {10.4230/LIPIcs.STACS.2025.45}, annote = {Keywords: Ordered Graphs, linear Layout, mixed linear Layout, Stack Layout, Queue Layout} }
Úrsula Hébert-Johnson and Daniel Lokshtanov. Sampling Unlabeled Chordal Graphs in Expected Polynomial Time. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 46:1-46:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{hebertjohnson_et_al:LIPIcs.STACS.2025.46, author = {H\'{e}bert-Johnson, \'{U}rsula and Lokshtanov, Daniel}, title = {{Sampling Unlabeled Chordal Graphs in Expected Polynomial Time}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {46:1--46:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.46}, URN = {urn:nbn:de:0030-drops-228726}, doi = {10.4230/LIPIcs.STACS.2025.46}, annote = {Keywords: Chordal graphs, graph sampling, graph counting, unlabeled graphs} }
Klaus Heeger and Hendrik Molter. Minimizing the Number of Tardy Jobs with Uniform Processing Times on Parallel Machines. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 47:1-47:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{heeger_et_al:LIPIcs.STACS.2025.47, author = {Heeger, Klaus and Molter, Hendrik}, title = {{Minimizing the Number of Tardy Jobs with Uniform Processing Times on Parallel Machines}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {47:1--47:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.47}, URN = {urn:nbn:de:0030-drops-228736}, doi = {10.4230/LIPIcs.STACS.2025.47}, annote = {Keywords: Scheduling, Identical Parallel Machines, Weighted Number of Tardy Jobs, Uniform Processing Times, Release Dates, NP-hard Problems, Parameterized Complexity} }
Benjamin Hellouin de Menibus and Pacôme Perrotin. Subshifts Defined by Nondeterministic and Alternating Plane-Walking Automata. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 48:1-48:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{hellouindemenibus_et_al:LIPIcs.STACS.2025.48, author = {Hellouin de Menibus, Benjamin and Perrotin, Pac\^{o}me}, title = {{Subshifts Defined by Nondeterministic and Alternating Plane-Walking Automata}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {48:1--48:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.48}, URN = {urn:nbn:de:0030-drops-228540}, doi = {10.4230/LIPIcs.STACS.2025.48}, annote = {Keywords: Formal languages, Finite automata, Subshifts, Symbolic dynamics, Tilings} }
Quentin Hillebrand, Vorapong Suppakitpaisarn, and Tetsuo Shibuya. Cycle Counting Under Local Differential Privacy for Degeneracy-Bounded Graphs. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 49:1-49:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{hillebrand_et_al:LIPIcs.STACS.2025.49, author = {Hillebrand, Quentin and Suppakitpaisarn, Vorapong and Shibuya, Tetsuo}, title = {{Cycle Counting Under Local Differential Privacy for Degeneracy-Bounded Graphs}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {49:1--49:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.49}, URN = {urn:nbn:de:0030-drops-228748}, doi = {10.4230/LIPIcs.STACS.2025.49}, annote = {Keywords: Differential privacy, triangle counting, degeneracy, arboricity, graph theory, parameterized accuracy} }
Martin Hoefer, Conrad Schecker, and Kevin Schewior. Designing Exploration Contracts. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 50:1-50:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{hoefer_et_al:LIPIcs.STACS.2025.50, author = {Hoefer, Martin and Schecker, Conrad and Schewior, Kevin}, title = {{Designing Exploration Contracts}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {50:1--50:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.50}, URN = {urn:nbn:de:0030-drops-228755}, doi = {10.4230/LIPIcs.STACS.2025.50}, annote = {Keywords: Exploration, Contract Design, Pandora’s Box Problem} }
Felix Hommelsheim, Zhenwei Liu, Nicole Megow, and Guochuan Zhang. Protecting the Connectivity of a Graph Under Non-Uniform Edge Failures. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 51:1-51:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{hommelsheim_et_al:LIPIcs.STACS.2025.51, author = {Hommelsheim, Felix and Liu, Zhenwei and Megow, Nicole and Zhang, Guochuan}, title = {{Protecting the Connectivity of a Graph Under Non-Uniform Edge Failures}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {51:1--51:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.51}, URN = {urn:nbn:de:0030-drops-228761}, doi = {10.4230/LIPIcs.STACS.2025.51}, annote = {Keywords: Network Design, Edge Failures, Graph Connectivity, Approximation Algorithms} }
Séhane Bel Houari-Durand, Eduard Eiben, and Magnus Wahlström. Polynomial Kernel and Incompressibility for Prison-Free Edge Deletion and Completion. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 52:1-52:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{houaridurand_et_al:LIPIcs.STACS.2025.52, author = {Houari-Durand, S\'{e}hane Bel and Eiben, Eduard and Wahlstr\"{o}m, Magnus}, title = {{Polynomial Kernel and Incompressibility for Prison-Free Edge Deletion and Completion}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {52:1--52:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.52}, URN = {urn:nbn:de:0030-drops-228770}, doi = {10.4230/LIPIcs.STACS.2025.52}, annote = {Keywords: Graph modification problems, parameterized complexity, polynomial kernelization} }
Pavel Hrubeš and Pushkar S. Joglekar. On Read-k Projections of the Determinant. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 53:1-53:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{hrubes_et_al:LIPIcs.STACS.2025.53, author = {Hrube\v{s}, Pavel and Joglekar, Pushkar S.}, title = {{On Read-k Projections of the Determinant}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {53:1--53:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.53}, URN = {urn:nbn:de:0030-drops-228785}, doi = {10.4230/LIPIcs.STACS.2025.53}, annote = {Keywords: determinant, permanent, projection of determinant, VNP completeness of permanent} }
Stacey Jeffery and Galina Pass. Multidimensional Quantum Walks, Recursion, and Quantum Divide & Conquer. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 54:1-54:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{jeffery_et_al:LIPIcs.STACS.2025.54, author = {Jeffery, Stacey and Pass, Galina}, title = {{Multidimensional Quantum Walks, Recursion, and Quantum Divide \& Conquer}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {54:1--54:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.54}, URN = {urn:nbn:de:0030-drops-228791}, doi = {10.4230/LIPIcs.STACS.2025.54}, annote = {Keywords: Quantum Divide \& Conquer, Time-Efficient, Subspace Graphs, Quantum Walks, Switching Networks, Directed st-Connectivity} }
Jean Christoph Jung and Jędrzej Kołodziejski. Modal Separation of Fixpoint Formulae. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 55:1-55:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{jung_et_al:LIPIcs.STACS.2025.55, author = {Jung, Jean Christoph and Ko{\l}odziejski, J\k{e}drzej}, title = {{Modal Separation of Fixpoint Formulae}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {55:1--55:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.55}, URN = {urn:nbn:de:0030-drops-228804}, doi = {10.4230/LIPIcs.STACS.2025.55}, annote = {Keywords: Modal Logic, Fixpoint Logic, Separability, Interpolation} }
Julia Katheder, Michael Kaufmann, Sergey Pupyrev, and Torsten Ueckerdt. Transforming Stacks into Queues: Mixed and Separated Layouts of Graphs. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 56:1-56:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{katheder_et_al:LIPIcs.STACS.2025.56, author = {Katheder, Julia and Kaufmann, Michael and Pupyrev, Sergey and Ueckerdt, Torsten}, title = {{Transforming Stacks into Queues: Mixed and Separated Layouts of Graphs}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {56:1--56:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.56}, URN = {urn:nbn:de:0030-drops-228819}, doi = {10.4230/LIPIcs.STACS.2025.56}, annote = {Keywords: Separated linear Layouts, Stack Number, Queue Number, mixed Number, bipartite Graphs} }
Matthias Kaul, Kelin Luo, Matthias Mnich, and Heiko Röglin. Approximate Minimum Tree Cover in All Symmetric Monotone Norms Simultaneously. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 57:1-57:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kaul_et_al:LIPIcs.STACS.2025.57, author = {Kaul, Matthias and Luo, Kelin and Mnich, Matthias and R\"{o}glin, Heiko}, title = {{Approximate Minimum Tree Cover in All Symmetric Monotone Norms Simultaneously}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {57:1--57:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.57}, URN = {urn:nbn:de:0030-drops-228821}, doi = {10.4230/LIPIcs.STACS.2025.57}, annote = {Keywords: Clustering, spanning trees, all-norm approximation} }
Piotr Kawałek and Armin Weiß. Violating Constant Degree Hypothesis Requires Breaking Symmetry. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 58:1-58:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kawalek_et_al:LIPIcs.STACS.2025.58, author = {Kawa{\l}ek, Piotr and Wei{\ss}, Armin}, title = {{Violating Constant Degree Hypothesis Requires Breaking Symmetry}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {58:1--58:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.58}, URN = {urn:nbn:de:0030-drops-228837}, doi = {10.4230/LIPIcs.STACS.2025.58}, annote = {Keywords: Circuit lower bounds, constant degree hypothesis, permutation groups, CC⁰-circuits} }
Yasushi Kawase and Tomohiro Nakayoshi. Online Matching with Delays and Size-Based Costs. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 59:1-59:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kawase_et_al:LIPIcs.STACS.2025.59, author = {Kawase, Yasushi and Nakayoshi, Tomohiro}, title = {{Online Matching with Delays and Size-Based Costs}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {59:1--59:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.59}, URN = {urn:nbn:de:0030-drops-228846}, doi = {10.4230/LIPIcs.STACS.2025.59}, annote = {Keywords: Online matching, competitive analysis, delayed service} }
Amirhossein Kazeminia and Andrei A. Bulatov. Modular Counting CSP: Reductions and Algorithms. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 60:1-60:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kazeminia_et_al:LIPIcs.STACS.2025.60, author = {Kazeminia, Amirhossein and Bulatov, Andrei A.}, title = {{Modular Counting CSP: Reductions and Algorithms}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {60:1--60:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.60}, URN = {urn:nbn:de:0030-drops-228853}, doi = {10.4230/LIPIcs.STACS.2025.60}, annote = {Keywords: Constraint Satisfaction Problem, Modular Counting} }
Stefan Kiefer and Andrew Ryzhikov. Efficiently Computing the Minimum Rank of a Matrix in a Monoid of Zero-One Matrices. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 61:1-61:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kiefer_et_al:LIPIcs.STACS.2025.61, author = {Kiefer, Stefan and Ryzhikov, Andrew}, title = {{Efficiently Computing the Minimum Rank of a Matrix in a Monoid of Zero-One Matrices}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {61:1--61:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.61}, URN = {urn:nbn:de:0030-drops-228867}, doi = {10.4230/LIPIcs.STACS.2025.61}, annote = {Keywords: matrix monoids, minimum rank, unambiguous automata} }
Tomohiro Koana and Magnus Wahlström. Faster Algorithms on Linear Delta-Matroids. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 62:1-62:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{koana_et_al:LIPIcs.STACS.2025.62, author = {Koana, Tomohiro and Wahlstr\"{o}m, Magnus}, title = {{Faster Algorithms on Linear Delta-Matroids}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {62:1--62:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.62}, URN = {urn:nbn:de:0030-drops-228876}, doi = {10.4230/LIPIcs.STACS.2025.62}, annote = {Keywords: Delta-matroids, Randomized algorithms} }
Petr Kolman. Approximation of Spanning Tree Congestion Using Hereditary Bisection. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 63:1-63:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kolman:LIPIcs.STACS.2025.63, author = {Kolman, Petr}, title = {{Approximation of Spanning Tree Congestion Using Hereditary Bisection}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {63:1--63:6}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.63}, URN = {urn:nbn:de:0030-drops-228880}, doi = {10.4230/LIPIcs.STACS.2025.63}, annote = {Keywords: Spanning Tree Congestion, Bisection, Expansion, Divide and Conquer} }
Manuel Lafond, Alitzel López Sánchez, and Weidong Luo. Cluster Editing on Cographs and Related Classes. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 64:1-64:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{lafond_et_al:LIPIcs.STACS.2025.64, author = {Lafond, Manuel and L\'{o}pez S\'{a}nchez, Alitzel and Luo, Weidong}, title = {{Cluster Editing on Cographs and Related Classes}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {64:1--64:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.64}, URN = {urn:nbn:de:0030-drops-228895}, doi = {10.4230/LIPIcs.STACS.2025.64}, annote = {Keywords: Cluster editing, cographs, parameterized algorithms, clique-width, trivially perfect graphs} }
Yuwei Liu, Yijia Chen, Shuangle Li, Bingkai Lin, and Xin Zheng. On Average Baby PIH and Its Applications. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 65:1-65:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{liu_et_al:LIPIcs.STACS.2025.65, author = {Liu, Yuwei and Chen, Yijia and Li, Shuangle and Lin, Bingkai and Zheng, Xin}, title = {{On Average Baby PIH and Its Applications}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {65:1--65:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.65}, URN = {urn:nbn:de:0030-drops-228900}, doi = {10.4230/LIPIcs.STACS.2025.65}, annote = {Keywords: Average Baby PIH, Parameterized Inapproximability, Constraint Satisfaction Problem, Exact Set Cover, W\lbrack1\rbrack-hardness} }
Bruno Loff and Alexey Milovanov. The Hardness of Decision Tree Complexity. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 66:1-66:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{loff_et_al:LIPIcs.STACS.2025.66, author = {Loff, Bruno and Milovanov, Alexey}, title = {{The Hardness of Decision Tree Complexity}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {66:1--66:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.66}, URN = {urn:nbn:de:0030-drops-228913}, doi = {10.4230/LIPIcs.STACS.2025.66}, annote = {Keywords: Decision tree, Log-depth circuits} }
Aliaume Lopez. Commutative ℕ-Rational Series of Polynomial Growth. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 67:1-67:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{lopez:LIPIcs.STACS.2025.67, author = {Lopez, Aliaume}, title = {{Commutative \mathbb{N}-Rational Series of Polynomial Growth}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {67:1--67:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.67}, URN = {urn:nbn:de:0030-drops-228924}, doi = {10.4230/LIPIcs.STACS.2025.67}, annote = {Keywords: Rational series, weighted automata, polyregular function, commutative} }
Lê Thành Dũng (Tito) Nguyễn and Gabriele Vanoni. Slightly Non-Linear Higher-Order Tree Transducers. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 68:1-68:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{nguyen_et_al:LIPIcs.STACS.2025.68, author = {Nguy\~{ê}n, L\^{e} Th\`{a}nh D\~{u}ng (Tito) and Vanoni, Gabriele}, title = {{Slightly Non-Linear Higher-Order Tree Transducers}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {68:1--68:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.68}, URN = {urn:nbn:de:0030-drops-228934}, doi = {10.4230/LIPIcs.STACS.2025.68}, annote = {Keywords: Almost affine lambda-calculus, geometry of interaction, reversibility, tree transducers, tree-walking automata} }
Damian Niwiński, Paweł Parys, and Michał Skrzypczak. A Dichotomy Theorem for Ordinal Ranks in MSO. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 69:1-69:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{niwinski_et_al:LIPIcs.STACS.2025.69, author = {Niwi\'{n}ski, Damian and Parys, Pawe{\l} and Skrzypczak, Micha{\l}}, title = {{A Dichotomy Theorem for Ordinal Ranks in MSO}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {69:1--69:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.69}, URN = {urn:nbn:de:0030-drops-228942}, doi = {10.4230/LIPIcs.STACS.2025.69}, annote = {Keywords: dichotomy result, limit ordinal, countable ordinals, nondeterministic tree automata} }
Boaz Patt-Shamir, Adi Rosén, and Seeun William Umboh. Colorful Vertex Recoloring of Bipartite Graphs. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 70:1-70:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{pattshamir_et_al:LIPIcs.STACS.2025.70, author = {Patt-Shamir, Boaz and Ros\'{e}n, Adi and Umboh, Seeun William}, title = {{Colorful Vertex Recoloring of Bipartite Graphs}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {70:1--70:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.70}, URN = {urn:nbn:de:0030-drops-228955}, doi = {10.4230/LIPIcs.STACS.2025.70}, annote = {Keywords: online algorithms, competitive analysis, resource augmentation, graph coloring} }
Patrick Schnider, Linus Stalder, and Simon Weber. Unfairly Splitting Separable Necklaces. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 71:1-71:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{schnider_et_al:LIPIcs.STACS.2025.71, author = {Schnider, Patrick and Stalder, Linus and Weber, Simon}, title = {{Unfairly Splitting Separable Necklaces}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {71:1--71:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.71}, URN = {urn:nbn:de:0030-drops-228963}, doi = {10.4230/LIPIcs.STACS.2025.71}, annote = {Keywords: Necklace splitting, n-separability, well-separation, Ham Sandwich, alpha-Ham Sandwich, unfair splitting, fair division} }
Kazumasa Shinagawa and Koji Nuida. Card-Based Protocols Imply PSM Protocols. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 72:1-72:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{shinagawa_et_al:LIPIcs.STACS.2025.72, author = {Shinagawa, Kazumasa and Nuida, Koji}, title = {{Card-Based Protocols Imply PSM Protocols}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {72:1--72:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.72}, URN = {urn:nbn:de:0030-drops-228975}, doi = {10.4230/LIPIcs.STACS.2025.72}, annote = {Keywords: Card-based cryptography, private simultaneous messages} }
Anastasiia Tkachenko and Haitao Wang. Dominating Set, Independent Set, Discrete k-Center, Dispersion, and Related Problems for Planar Points in Convex Position. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 73:1-73:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{tkachenko_et_al:LIPIcs.STACS.2025.73, author = {Tkachenko, Anastasiia and Wang, Haitao}, title = {{Dominating Set, Independent Set, Discrete k-Center, Dispersion, and Related Problems for Planar Points in Convex Position}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {73:1--73:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.73}, URN = {urn:nbn:de:0030-drops-228982}, doi = {10.4230/LIPIcs.STACS.2025.73}, annote = {Keywords: Dominating set, k-center, geometric set cover, independent set, clique, vertex cover, unit-disk graphs, convex position, dispersion, maximally separated sets} }
Noam Touitou. Nearly-Optimal Algorithm for Non-Clairvoyant Service with Delay. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 74:1-74:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{touitou:LIPIcs.STACS.2025.74, author = {Touitou, Noam}, title = {{Nearly-Optimal Algorithm for Non-Clairvoyant Service with Delay}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {74:1--74:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.74}, URN = {urn:nbn:de:0030-drops-228995}, doi = {10.4230/LIPIcs.STACS.2025.74}, annote = {Keywords: Online, Delay, Deadlines, k-server, Non-clairvoyant} }
Oleg Verbitsky and Maksim Zhukovskii. Canonical Labeling of Sparse Random Graphs. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 75:1-75:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{verbitsky_et_al:LIPIcs.STACS.2025.75, author = {Verbitsky, Oleg and Zhukovskii, Maksim}, title = {{Canonical Labeling of Sparse Random Graphs}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {75:1--75:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.75}, URN = {urn:nbn:de:0030-drops-229003}, doi = {10.4230/LIPIcs.STACS.2025.75}, annote = {Keywords: Graph isomorphism, random graphs, canonical labeling, color refinement} }
Haitao Wang and Yiming Zhao. Dynamic Unit-Disk Range Reporting. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 76:1-76:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{wang_et_al:LIPIcs.STACS.2025.76, author = {Wang, Haitao and Zhao, Yiming}, title = {{Dynamic Unit-Disk Range Reporting}}, booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)}, pages = {76:1--76:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-365-2}, ISSN = {1868-8969}, year = {2025}, volume = {327}, editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.76}, URN = {urn:nbn:de:0030-drops-229019}, doi = {10.4230/LIPIcs.STACS.2025.76}, annote = {Keywords: Unit disks, range reporting, range emptiness, alpha-hulls, dynamic data structures, shallow cuttings} }
Feedback for Dagstuhl Publishing