@Proceedings{berenbrink_et_al:LIPIcs.STACS.2023,
title = {{LIPIcs, Volume 254, STACS 2023, Complete Volume}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {1--1026},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023},
URN = {urn:nbn:de:0030-drops-176515},
doi = {10.4230/LIPIcs.STACS.2023},
annote = {Keywords: LIPIcs, Volume 254, STACS 2023, Complete Volume}
}
@InProceedings{berenbrink_et_al:LIPIcs.STACS.2023.0,
author = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {0:i--0:xxii},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.0},
URN = {urn:nbn:de:0030-drops-176525},
doi = {10.4230/LIPIcs.STACS.2023.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{lehtinen:LIPIcs.STACS.2023.1,
author = {Lehtinen, Karoliina},
title = {{A Brief History of History-Determinism}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {1:1--1:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.1},
URN = {urn:nbn:de:0030-drops-176535},
doi = {10.4230/LIPIcs.STACS.2023.1},
annote = {Keywords: History-determinism, nondeterminism, automata, good-for-games}
}
@InProceedings{rotenberg:LIPIcs.STACS.2023.2,
author = {Rotenberg, Eva},
title = {{Amortised Analysis of Dynamic Data Structures}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {2:1--2:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.2},
URN = {urn:nbn:de:0030-drops-176547},
doi = {10.4230/LIPIcs.STACS.2023.2},
annote = {Keywords: Amortised analysis, splaying, dynamic graphs, planarity testing}
}
@InProceedings{vardi:LIPIcs.STACS.2023.3,
author = {Vardi, Moshe Y.},
title = {{Logical Algorithmics: From Theory to Practice}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {3:1--3:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.3},
URN = {urn:nbn:de:0030-drops-176555},
doi = {10.4230/LIPIcs.STACS.2023.3},
annote = {Keywords: Logic, Algorithms}
}
@InProceedings{aichinger_et_al:LIPIcs.STACS.2023.4,
author = {Aichinger, Erhard and Gr\"{u}nbacher, Simon},
title = {{The Complexity of Checking Quasi-Identities over Finite Algebras with a Mal'cev Term}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {4:1--4:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.4},
URN = {urn:nbn:de:0030-drops-176560},
doi = {10.4230/LIPIcs.STACS.2023.4},
annote = {Keywords: quasi-identities, conditional identities, systems of equations}
}
@InProceedings{akhmedov_et_al:LIPIcs.STACS.2023.5,
author = {Akhmedov, Maxim and Babenko, Maxim},
title = {{Packing Odd Walks and Trails in Multiterminal Networks}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {5:1--5:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.5},
URN = {urn:nbn:de:0030-drops-176570},
doi = {10.4230/LIPIcs.STACS.2023.5},
annote = {Keywords: Odd path, signed and bidirected graph, multiflow, polynomial algorithm}
}
@InProceedings{alexandru_et_al:LIPIcs.STACS.2023.6,
author = {Alexandru, Cezar-Mihail and Dvo\v{r}\'{a}k, Pavel and Konrad, Christian and Naidu, Kheeran K.},
title = {{Improved Weighted Matching in the Sliding Window Model}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {6:1--6:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.6},
URN = {urn:nbn:de:0030-drops-176585},
doi = {10.4230/LIPIcs.STACS.2023.6},
annote = {Keywords: Sliding window algorithms, Streaming algorithms, Maximum-weight matching}
}
@InProceedings{amanatidis_et_al:LIPIcs.STACS.2023.7,
author = {Amanatidis, Georgios and Kleer, Pieter},
title = {{Approximate Sampling and Counting of Graphs with Near-Regular Degree Intervals}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {7:1--7:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.7},
URN = {urn:nbn:de:0030-drops-176596},
doi = {10.4230/LIPIcs.STACS.2023.7},
annote = {Keywords: graph sampling, degree interval, degree sequence, Markov Chain Monte Carlo method, switch Markov chain}
}
@InProceedings{amarilli_et_al:LIPIcs.STACS.2023.8,
author = {Amarilli, Antoine and Monet, Mika\"{e}l},
title = {{Enumerating Regular Languages with Bounded Delay}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {8:1--8:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.8},
URN = {urn:nbn:de:0030-drops-176609},
doi = {10.4230/LIPIcs.STACS.2023.8},
annote = {Keywords: Regular language, constant-delay enumeration, edit distance}
}
@InProceedings{baumann_et_al:LIPIcs.STACS.2023.9,
author = {Baumann, Pascal and Meyer, Roland and Zetzsche, Georg},
title = {{Regular Separability in B\"{u}chi VASS}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {9:1--9:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.9},
URN = {urn:nbn:de:0030-drops-176617},
doi = {10.4230/LIPIcs.STACS.2023.9},
annote = {Keywords: Separability problem, Vector addition systems, Infinite words, Decidability}
}
@InProceedings{berge_et_al:LIPIcs.STACS.2023.10,
author = {Berg\'{e}, Pierre and Bonnet, \'{E}douard and D\'{e}pr\'{e}s, Hugues and Watrigant, R\'{e}mi},
title = {{Approximating Highly Inapproximable Problems on Graphs of Bounded Twin-Width}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {10:1--10:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.10},
URN = {urn:nbn:de:0030-drops-176629},
doi = {10.4230/LIPIcs.STACS.2023.10},
annote = {Keywords: Approximation algorithms, bounded twin-width}
}
@InProceedings{bergougnoux_et_al:LIPIcs.STACS.2023.11,
author = {Bergougnoux, Benjamin and Korhonen, Tuukka and Nederlof, Jesper},
title = {{Tight Lower Bounds for Problems Parameterized by Rank-Width}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {11:1--11:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.11},
URN = {urn:nbn:de:0030-drops-176636},
doi = {10.4230/LIPIcs.STACS.2023.11},
annote = {Keywords: rank-width, exponential time hypothesis, Boolean-width, parameterized algorithms, independent set, dominating set, maximum induced matching, feedback vertex set}
}
@InProceedings{blaser_et_al:LIPIcs.STACS.2023.12,
author = {Bl\"{a}ser, Markus and Mayer, Hendrik and Shringi, Devansh},
title = {{On the Multilinear Complexity of Associative Algebras}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {12:1--12:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.12},
URN = {urn:nbn:de:0030-drops-176645},
doi = {10.4230/LIPIcs.STACS.2023.12},
annote = {Keywords: Multilinear computations, associative algebras, matrix multiplication, Alder-Strassen theorem}
}
@InProceedings{blasius_et_al:LIPIcs.STACS.2023.13,
author = {Bl\"{a}sius, Thomas and Friedrich, Tobias and Katzmann, Maximilian and Stephan, Daniel},
title = {{Strongly Hyperbolic Unit Disk Graphs}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {13:1--13:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.13},
URN = {urn:nbn:de:0030-drops-176652},
doi = {10.4230/LIPIcs.STACS.2023.13},
annote = {Keywords: hyperbolic geometry, unit disk graphs, greedy routing, hyperbolic random graphs, graph classes}
}
@InProceedings{bojikian_et_al:LIPIcs.STACS.2023.14,
author = {Bojikian, Narek and Chekan, Vera and Hegerfeld, Falko and Kratsch, Stefan},
title = {{Tight Bounds for Connectivity Problems Parameterized by Cutwidth}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {14:1--14:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.14},
URN = {urn:nbn:de:0030-drops-176667},
doi = {10.4230/LIPIcs.STACS.2023.14},
annote = {Keywords: Parameterized complexity, connectivity problems, cutwidth}
}
@InProceedings{bonnet_et_al:LIPIcs.STACS.2023.15,
author = {Bonnet, \'{E}douard and Giocanti, Ugo and Ossona de Mendez, Patrice and Thomass\'{e}, St\'{e}phan},
title = {{Twin-Width V: Linear Minors, Modular Counting, and Matrix Multiplication}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {15:1--15:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.15},
URN = {urn:nbn:de:0030-drops-176675},
doi = {10.4230/LIPIcs.STACS.2023.15},
annote = {Keywords: Twin-width, matrices, parity and linear minors, model theory, linear algebra, matrix multiplication, algorithms, computational complexity}
}
@InProceedings{bshouty:LIPIcs.STACS.2023.16,
author = {Bshouty, Nader H.},
title = {{Non-Adaptive Proper Learning Polynomials}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {16:1--16:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.16},
URN = {urn:nbn:de:0030-drops-176689},
doi = {10.4230/LIPIcs.STACS.2023.16},
annote = {Keywords: Polynomial, Learning, Testing}
}
@InProceedings{cairo_et_al:LIPIcs.STACS.2023.17,
author = {Cairo, Massimo and Khan, Shahbaz and Rizzi, Romeo and Schmidt, Sebastian and Tomescu, Alexandru I. and Zirondelli, Elia C.},
title = {{Cut Paths and Their Remainder Structure, with Applications}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {17:1--17:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.17},
URN = {urn:nbn:de:0030-drops-176690},
doi = {10.4230/LIPIcs.STACS.2023.17},
annote = {Keywords: reachability, cut arc, strong bridge, covering walk, safety, persistence, essentiality, genome assembly}
}
@InProceedings{capelli_et_al:LIPIcs.STACS.2023.18,
author = {Capelli, Florent and Strozecki, Yann},
title = {{Geometric Amortization of Enumeration Algorithms}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {18:1--18:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.18},
URN = {urn:nbn:de:0030-drops-176703},
doi = {10.4230/LIPIcs.STACS.2023.18},
annote = {Keywords: Enumeration, Polynomial Delay, Incremental Delay, Amortization}
}
@InProceedings{carayol_et_al:LIPIcs.STACS.2023.19,
author = {Carayol, Arnaud and Duchon, Philippe and Koechlin, Florent and Nicaud, Cyril},
title = {{One Drop of Non-Determinism in a Random Deterministic Automaton}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {19:1--19:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.19},
URN = {urn:nbn:de:0030-drops-176719},
doi = {10.4230/LIPIcs.STACS.2023.19},
annote = {Keywords: non-deterministic automaton, powerset construction, probabilistic analysis}
}
@InProceedings{chawin_et_al:LIPIcs.STACS.2023.20,
author = {Chawin, Dror and Haviv, Ishay},
title = {{Improved NP-Hardness of Approximation for Orthogonality Dimension and Minrank}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {20:1--20:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.20},
URN = {urn:nbn:de:0030-drops-176724},
doi = {10.4230/LIPIcs.STACS.2023.20},
annote = {Keywords: hardness of approximation, graph coloring, orthogonality dimension, minrank, index coding}
}
@InProceedings{chede_et_al:LIPIcs.STACS.2023.21,
author = {Chede, Sravanthi and Shukla, Anil},
title = {{Extending Merge Resolution to a Family of QBF-Proof Systems}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {21:1--21:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.21},
URN = {urn:nbn:de:0030-drops-176737},
doi = {10.4230/LIPIcs.STACS.2023.21},
annote = {Keywords: Proof complexity, QBFs, Merge Resolution, Simulation, Lower Bound}
}
@InProceedings{chillara_et_al:LIPIcs.STACS.2023.22,
author = {Chillara, Suryajith and Grichener, Coral and Shpilka, Amir},
title = {{On Hardness of Testing Equivalence to Sparse Polynomials Under Shifts}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {22:1--22:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.22},
URN = {urn:nbn:de:0030-drops-176744},
doi = {10.4230/LIPIcs.STACS.2023.22},
annote = {Keywords: algebraic complexity, shift equivalence, polynomial equivalence, Hilbert’s Nullstellensatz, hardness of approximation}
}
@InProceedings{chrobak_et_al:LIPIcs.STACS.2023.23,
author = {Chrobak, Marek and Haney, Samuel and Liaee, Mehraneh and Panigrahi, Debmalya and Rajaraman, Rajmohan and Sundaram, Ravi and Young, Neal E.},
title = {{Online Paging with Heterogeneous Cache Slots}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {23:1--23:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.23},
URN = {urn:nbn:de:0030-drops-176759},
doi = {10.4230/LIPIcs.STACS.2023.23},
annote = {Keywords: Caching and paging algorithms, k-server, weighted paging, laminar family}
}
@InProceedings{clemente_et_al:LIPIcs.STACS.2023.24,
author = {Clemente, Lorenzo and Donten-Bury, Maria and Mazowiecki, Filip and Pilipczuk, Micha{\l}},
title = {{On Rational Recursive Sequences}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {24:1--24:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.24},
URN = {urn:nbn:de:0030-drops-176763},
doi = {10.4230/LIPIcs.STACS.2023.24},
annote = {Keywords: recursive sequences, polynomial automata, zeroness problem, equivalence problem}
}
@InProceedings{dong:LIPIcs.STACS.2023.25,
author = {Dong, Ruiwen},
title = {{Semigroup Intersection Problems in the Heisenberg Groups}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {25:1--25:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.25},
URN = {urn:nbn:de:0030-drops-176771},
doi = {10.4230/LIPIcs.STACS.2023.25},
annote = {Keywords: semigroup intersection, orbit intersection, matrix semigroups, Heisenberg group, nilpotent groups}
}
@InProceedings{dong:LIPIcs.STACS.2023.26,
author = {Dong, Ruiwen},
title = {{Solving Homogeneous Linear Equations over Polynomial Semirings}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {26:1--26:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.26},
URN = {urn:nbn:de:0030-drops-176784},
doi = {10.4230/LIPIcs.STACS.2023.26},
annote = {Keywords: wreath product, identity problem, polynomial semiring, positive polynomial}
}
@InProceedings{dufay_et_al:LIPIcs.STACS.2023.27,
author = {Dufay, Marc and Mathieu, Claire and Zhou, Hang},
title = {{An Approximation Algorithm for Distance-Constrained Vehicle Routing on Trees}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {27:1--27:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.27},
URN = {urn:nbn:de:0030-drops-176794},
doi = {10.4230/LIPIcs.STACS.2023.27},
annote = {Keywords: vehicle routing, distance constraint, approximation algorithms, trees}
}
@InProceedings{dvorak:LIPIcs.STACS.2023.28,
author = {Dvo\v{r}\'{a}k, Zden\v{e}k},
title = {{Representation of Short Distances in Structurally Sparse Graphs}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {28:1--28:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.28},
URN = {urn:nbn:de:0030-drops-176807},
doi = {10.4230/LIPIcs.STACS.2023.28},
annote = {Keywords: distances, structurally sparse graphs}
}
@InProceedings{elmaalouly:LIPIcs.STACS.2023.29,
author = {El Maalouly, Nicolas},
title = {{Exact Matching: Algorithms and Related Problems}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {29:1--29:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.29},
URN = {urn:nbn:de:0030-drops-176811},
doi = {10.4230/LIPIcs.STACS.2023.29},
annote = {Keywords: Perfect Matching, Exact Matching, Approximation algorithms, Independence number, Parameterized complexity}
}
@InProceedings{enright_et_al:LIPIcs.STACS.2023.30,
author = {Enright, Jessica and Meeks, Kitty and Molter, Hendrik},
title = {{Counting Temporal Paths}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {30:1--30:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.30},
URN = {urn:nbn:de:0030-drops-176829},
doi = {10.4230/LIPIcs.STACS.2023.30},
annote = {Keywords: Temporal Paths, Temporal Graphs, Parameterised Counting, Approximate Counting, #P-hard Counting Problems, Temporal Betweenness Centrality}
}
@InProceedings{novafandina_et_al:LIPIcs.STACS.2023.31,
author = {Nova Fandina, Ora and M{\o}ller H{\o}gsgaard, Mikael and Green Larsen, Kasper},
title = {{Barriers for Faster Dimensionality Reduction}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {31:1--31:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.31},
URN = {urn:nbn:de:0030-drops-176838},
doi = {10.4230/LIPIcs.STACS.2023.31},
annote = {Keywords: Dimensional reduction, Lower bound, Linear Circuits}
}
@InProceedings{filiot_et_al:LIPIcs.STACS.2023.32,
author = {Filiot, Emmanuel and Jecker, Isma\"{e}l and L\"{o}ding, Christof and Winter, Sarah},
title = {{A Regular and Complete Notion of Delay for Streaming String Transducers}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {32:1--32:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.32},
URN = {urn:nbn:de:0030-drops-176843},
doi = {10.4230/LIPIcs.STACS.2023.32},
annote = {Keywords: Streaming string transducers, Delay, Origin}
}
@InProceedings{gasieniec_et_al:LIPIcs.STACS.2023.33,
author = {G\k{a}sieniec, Leszek and Spirakis, Paul G. and Stachowiak, Grzegorz},
title = {{New Clocks, Optimal Line Formation and Self-Replication Population Protocols}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {33:1--33:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.33},
URN = {urn:nbn:de:0030-drops-176857},
doi = {10.4230/LIPIcs.STACS.2023.33},
annote = {Keywords: Population protocols, constructors, probabilistic bubble-sort, self-replication}
}
@InProceedings{gledel_et_al:LIPIcs.STACS.2023.34,
author = {Gledel, Valentin and Oijid, Nacim},
title = {{Avoidance Games Are PSPACE-Complete}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {34:1--34:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.34},
URN = {urn:nbn:de:0030-drops-176869},
doi = {10.4230/LIPIcs.STACS.2023.34},
annote = {Keywords: Games, Avoider-Enforcer, Maker-Breaker, Complexity, Avoider-Avoider, PSPACE-complete}
}
@InProceedings{heeger_et_al:LIPIcs.STACS.2023.35,
author = {Heeger, Klaus and Nichterlein, Andr\'{e} and Niedermeier, Rolf},
title = {{Parameterized Lower Bounds for Problems in P via Fine-Grained Cross-Compositions}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {35:1--35:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.35},
URN = {urn:nbn:de:0030-drops-176876},
doi = {10.4230/LIPIcs.STACS.2023.35},
annote = {Keywords: FPT in P, Kernelization, Decomposition}
}
@InProceedings{henzinger_et_al:LIPIcs.STACS.2023.36,
author = {Henzinger, Monika and Neumann, Stefan and R\"{a}cke, Harald and Schmid, Stefan},
title = {{Dynamic Maintenance of Monotone Dynamic Programs and Applications}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {36:1--36:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.36},
URN = {urn:nbn:de:0030-drops-176889},
doi = {10.4230/LIPIcs.STACS.2023.36},
annote = {Keywords: Dynamic programming, dynamic algorithms, data structures}
}
@InProceedings{huang_et_al:LIPIcs.STACS.2023.37,
author = {Huang, Shengyu and Liu, Chih-Hung and Rutschmann, Daniel},
title = {{Approximate Selection with Unreliable Comparisons in Optimal Expected Time}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {37:1--37:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.37},
URN = {urn:nbn:de:0030-drops-176898},
doi = {10.4230/LIPIcs.STACS.2023.37},
annote = {Keywords: Approximate Selection, Unreliable Comparisons, Independent Faults}
}
@InProceedings{jaakkola_et_al:LIPIcs.STACS.2023.38,
author = {Jaakkola, Reijo and Kuusisto, Antti and Vilander, Miikka},
title = {{Relating Description Complexity to Entropy}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {38:1--38:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.38},
URN = {urn:nbn:de:0030-drops-176903},
doi = {10.4230/LIPIcs.STACS.2023.38},
annote = {Keywords: finite model theory, entropy, formula size, randomness, formula size game}
}
@InProceedings{koana:LIPIcs.STACS.2023.39,
author = {Koana, Tomohiro},
title = {{Induced Matching Below Guarantees: Average Paves the Way for Fixed-Parameter Tractability}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {39:1--39:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.39},
URN = {urn:nbn:de:0030-drops-176914},
doi = {10.4230/LIPIcs.STACS.2023.39},
annote = {Keywords: Parameterized Complexity, Below Guarantees, Induced Matching, Gallai-Edmonds Decomposition}
}
@InProceedings{komarath_et_al:LIPIcs.STACS.2023.40,
author = {Komarath, Balagopal and Kumar, Anant and Mishra, Suchismita and Sethia, Aditi},
title = {{Finding and Counting Patterns in Sparse Graphs}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {40:1--40:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.40},
URN = {urn:nbn:de:0030-drops-176921},
doi = {10.4230/LIPIcs.STACS.2023.40},
annote = {Keywords: Subgraph Detection and Counting, Homomorphism Polynomials, Treewidth and Treedepth, Matchings}
}
@InProceedings{konrad_et_al:LIPIcs.STACS.2023.41,
author = {Konrad, Christian and Naidu, Kheeran K. and Steward, Arun},
title = {{Maximum Matching via Maximal Matching Queries}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {41:1--41:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.41},
URN = {urn:nbn:de:0030-drops-176935},
doi = {10.4230/LIPIcs.STACS.2023.41},
annote = {Keywords: Maximum Matching, Query Model, Algorithms, Lower Bounds}
}
@InProceedings{legall_et_al:LIPIcs.STACS.2023.42,
author = {Le Gall, Fran\c{c}ois and Miyamoto, Masayuki and Nishimura, Harumichi},
title = {{Distributed Quantum Interactive Proofs}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {42:1--42:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.42},
URN = {urn:nbn:de:0030-drops-176949},
doi = {10.4230/LIPIcs.STACS.2023.42},
annote = {Keywords: distributed interactive proofs, distributed verification, quantum computation}
}
@InProceedings{leveque_et_al:LIPIcs.STACS.2023.43,
author = {L\'{e}v\^{e}que, Benjamin and M\"{u}hlenthaler, Moritz and Suzan, Thomas},
title = {{Reconfiguration of Digraph Homomorphisms}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {43:1--43:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.43},
URN = {urn:nbn:de:0030-drops-176958},
doi = {10.4230/LIPIcs.STACS.2023.43},
annote = {Keywords: Digraph Homomorphisms, Combinatorial Reconfiguration}
}
@InProceedings{li_et_al:LIPIcs.STACS.2023.44,
author = {Li, Haohong and Xia, Ge},
title = {{An 𝒪(3.82^k) Time FPT Algorithm for Convex Flip Distance}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {44:1--44:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.44},
URN = {urn:nbn:de:0030-drops-176965},
doi = {10.4230/LIPIcs.STACS.2023.44},
annote = {Keywords: Flip distance, Rotation distance, Triangulations, Exact algorithms, Parameterized complexity}
}
@InProceedings{los_et_al:LIPIcs.STACS.2023.45,
author = {Los, Dimitrios and Sauerwald, Thomas},
title = {{Tight Bounds for Repeated Balls-Into-Bins}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {45:1--45:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.45},
URN = {urn:nbn:de:0030-drops-176975},
doi = {10.4230/LIPIcs.STACS.2023.45},
annote = {Keywords: Repeated balls-into-bins, self-stabilizing systems, balanced allocations, potential functions, random walks}
}
@InProceedings{majewski_et_al:LIPIcs.STACS.2023.46,
author = {Majewski, Konrad and Pilipczuk, Micha{\l} and Soko{\l}owski, Marek},
title = {{Maintaining CMSO₂ Properties on Dynamic Structures with Bounded Feedback Vertex Number}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {46:1--46:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.46},
URN = {urn:nbn:de:0030-drops-176981},
doi = {10.4230/LIPIcs.STACS.2023.46},
annote = {Keywords: feedback vertex set, CMSO₂ formula, data structure, dynamic graphs, fixed-parameter tractability}
}
@InProceedings{modanese:LIPIcs.STACS.2023.47,
author = {Modanese, Augusto},
title = {{Sublinear-Time Probabilistic Cellular Automata}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {47:1--47:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.47},
URN = {urn:nbn:de:0030-drops-176998},
doi = {10.4230/LIPIcs.STACS.2023.47},
annote = {Keywords: Cellular automata, local computation, probabilistic models, subregular language classes}
}
@InProceedings{nandakumar_et_al:LIPIcs.STACS.2023.48,
author = {Nandakumar, Satyadev and Pulari, Subin},
title = {{Real Numbers Equally Compressible in Every Base}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {48:1--48:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.48},
URN = {urn:nbn:de:0030-drops-177008},
doi = {10.4230/LIPIcs.STACS.2023.48},
annote = {Keywords: Finite-state dimension, Finite-state compression, Absolutely dimensioned numbers, Exponential sums, Weyl criterion, Normal numbers}
}
@InProceedings{ohsaka:LIPIcs.STACS.2023.49,
author = {Ohsaka, Naoto},
title = {{Gap Preserving Reductions Between Reconfiguration Problems}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {49:1--49:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.49},
URN = {urn:nbn:de:0030-drops-177016},
doi = {10.4230/LIPIcs.STACS.2023.49},
annote = {Keywords: combinatorial reconfiguration, hardness of approximation, gap reduction}
}
@InProceedings{olkowski_et_al:LIPIcs.STACS.2023.50,
author = {Olkowski, J\k{e}drzej and Pilipczuk, Micha{\l} and Rychlicki, Mateusz and W\k{e}grzycki, Karol and Zych-Pawlewicz, Anna},
title = {{Dynamic Data Structures for Parameterized String Problems}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {50:1--50:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.50},
URN = {urn:nbn:de:0030-drops-177026},
doi = {10.4230/LIPIcs.STACS.2023.50},
annote = {Keywords: Parameterized algorithms, Dynamic data structures, String problems, Closest String, Edit Distance, Disjoint Factors, Predecessor problem}
}
@InProceedings{paperman_et_al:LIPIcs.STACS.2023.51,
author = {Paperman, Charles and Salvati, Sylvain and Soyez-Martin, Claire},
title = {{An Algebraic Approach to Vectorial Programs}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {51:1--51:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.51},
URN = {urn:nbn:de:0030-drops-177030},
doi = {10.4230/LIPIcs.STACS.2023.51},
annote = {Keywords: Automata theory, Semigroups, Vectorisation}
}
@InProceedings{richomme_et_al:LIPIcs.STACS.2023.52,
author = {Richomme, Gwena\"{e}l and Rosenfeld, Matthieu},
title = {{Reconstructing Words Using Queries on Subwords or Factors}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {52:1--52:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.52},
URN = {urn:nbn:de:0030-drops-177041},
doi = {10.4230/LIPIcs.STACS.2023.52},
annote = {Keywords: Word reconstruction, Subwords, Factors}
}
@InProceedings{sadeh_et_al:LIPIcs.STACS.2023.53,
author = {Sadeh, Yaniv and Kaplan, Haim},
title = {{Dynamic Binary Search Trees: Improved Lower Bounds for the Greedy-Future Algorithm}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {53:1--53:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.53},
URN = {urn:nbn:de:0030-drops-177055},
doi = {10.4230/LIPIcs.STACS.2023.53},
annote = {Keywords: Binary Search Trees, Greedy Future, Geometric Greedy, Lower Bounds, Dynamic Optimality Conjecture}
}
@InProceedings{watson_et_al:LIPIcs.STACS.2023.54,
author = {Watson, James D. and Bausch, Johannes and Gharibian, Sevag},
title = {{The Complexity of Translationally Invariant Problems Beyond Ground State Energies}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {54:1--54:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.54},
URN = {urn:nbn:de:0030-drops-177065},
doi = {10.4230/LIPIcs.STACS.2023.54},
annote = {Keywords: Complexity, Quantum Computing, Physics, Constraint Satisfaction, Combinatorial Reconfiguration, Many-Body Physics}
}
@InProceedings{zschoche:LIPIcs.STACS.2023.55,
author = {Zschoche, Philipp},
title = {{Restless Temporal Path Parameterized Above Lower Bounds}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {55:1--55:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.55},
URN = {urn:nbn:de:0030-drops-177077},
doi = {10.4230/LIPIcs.STACS.2023.55},
annote = {Keywords: temporal graphs, FPT, above-lower-bound parameterization}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing