Collection
Theoretical Aspects of Computer Science (STACS 2020)
- Submission status
- Closed
This collection contains articles which are based on extended abstracts that were presented at the 37th Symposium on Theoretical Aspects of Computer Science (STACS), which was held in Montpellier from March 10th to 13th, 2020.
Editors
-
Christophe Paul
Christophe Paul is a full-time researcher at the CNRS, with the ALgorithms for Graphs and COmbinatorics group (AlGco) of the LIRMM, Montpellier, France.
-
Markus Bläser
Markus Bläser has been a professor of computer science at Saarland University, Saarbrücken, Germany since 2005.
Articles (8 in this collection)
-
-
Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms
Authors
- Nikhil Vyas
- R. Ryan Williams
- Content type: OriginalPaper
- Open Access
- Published: 04 November 2022
- Pages: 149 - 177
-
An Automaton Group with PSPACE-Complete Word Problem
Authors
- Jan Philipp Wächter
- Armin Weiß
- Content type: OriginalPaper
- Open Access
- Published: 21 April 2022
- Pages: 178 - 218
-
Observation and Distinction: Representing Information in Infinite Games
Authors
- Dietmar Berwanger
- Laurent Doyen
- Content type: OriginalPaper
- Published: 21 March 2022
- Pages: 4 - 27
-
Solving Vertex Cover in Polynomial Time on Hyperbolic Random Graphs
Authors (first, second and last of 4)
- Thomas Bläsius
- Philipp Fischbeck
- Maximilian Katzmann
- Content type: OriginalPaper
- Open Access
- Published: 28 October 2021
- Pages: 28 - 51
-
Decidability and Periodicity of Low Complexity Tilings
Authors
- Jarkko Kari
- Etienne Moutot
- Content type: OriginalPaper
- Open Access
- Published: 28 October 2021
- Pages: 125 - 148
-
Fixed-Parameter Algorithms for Unsplittable Flow Cover
Authors
- Andrés Cristi
- Mathieu Mari
- Andreas Wiese
- Content type: OriginalPaper
- Published: 03 July 2021
- Pages: 89 - 124
-
Typical Sequences Revisited — Computing Width Parameters of Graphs
Authors
- Hans L. Bodlaender
- Lars Jaffke
- Jan Arne Telle
- Content type: OriginalPaper
- Open Access
- Published: 26 March 2021
- Pages: 52 - 88