Next generation algorithms for grabbing and exploiting symmetry

Engineering a Fast Probabilistic Isomorphism Test

Autorzy: Markus Anders, Pascal Schweitzer
Opublikowane w: 2021 Proceedings of the Workshop on Algorithm Engineering and Experiments (ALENEX), 2021, Strona(/y) 73-84, ISBN 978-1-61197-647-2
Wydawca: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611976472.6

2.5-Connectivity: Unique Components, Critical Graphs, and Applications

Autorzy: Irene Heinrich, Till Heller, Eva Schmidt, Manuel Streicher
Opublikowane w: Graph-Theoretic Concepts in Computer Science - 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers, Numer 12301, 2020, Strona(/y) 352-363, ISBN 978-3-030-60439-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-60440-0_28

Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case

Autorzy: Anders, Markus; Schweitzer, Pascal; Wetzels, Florian
Opublikowane w: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Numer 1, 2021
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2021.15

Choiceless Polynomial Time with Witnessed Symmetric Choice

Autorzy: Lichter, Moritz; Schweitzer, Pascal
Opublikowane w: LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer ScienceAugust 2022, 2022
Wydawca: ACM
DOI: 10.1145/3531130.3533348

A Characterization of Individualization-Refinement Trees

Autorzy: Anders, Brachter, Schweitzer
Opublikowane w: 32nd International Symposium on Algorithms and Computation (ISAAC 2021), Numer 212, 2021, Strona(/y) 24:1--24:14, ISBN 978-3-95977-214-3
Wydawca: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.isaac.2021.24

Parallel Computation of Combinatorial Symmetries

Autorzy: Anders, Schweitzer
Opublikowane w: ESA 2021, Numer 6, 2021
Wydawca: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.esa.2021.6

Resolution with Symmetry Rule Applied to Linear Equations

Autorzy: Schweitzer, Pascal; Seebach, Constantin
Opublikowane w: Symposium on Theoretical Aspects of Computer Science (STACS), Numer 3, 2021
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.stacs.2021.58

SAT Preprocessors and Symmetry.

Autorzy: Markus Anders
Opublikowane w: 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), 2022
Wydawca: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.sat.2022.1

Separating Rank Logic from Polynomial Time

Autorzy: Moritz Lichter
Opublikowane w: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Strona(/y) 1-13, ISBN 978-1-6654-4895-6
Wydawca: IEEE
DOI: 10.1109/lics52264.2021.9470598

Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm

Autorzy: Moritz Lichter, Ilia Ponomarenko, Pascal Schweitzer
Opublikowane w: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Strona(/y) 1-13, ISBN 978-1-7281-3608-0
Wydawca: IEEE
DOI: 10.1109/lics.2019.8785694

On the Weisfeiler-Leman Dimension of Finite Groups

Autorzy: Jendrik Brachter, Pascal Schweitzer
Opublikowane w: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Strona(/y) 287-300, ISBN 9781450371049
Wydawca: ACM
DOI: 10.1145/3373718.3394786

A unifying method for the design of algorithms canonizing combinatorial objects

Autorzy: Pascal Schweitzer, Daniel Wiebking
Opublikowane w: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019, 2019, Strona(/y) 1247-1258, ISBN 9781450367059
Wydawca: ACM Press
DOI: 10.1145/3313276.3316338

Search Problems in Trees with Symmetries: near optimal traversal strategies for individualization-refinement algorithms

Autorzy: Anders, Markus; Schweitzer, Pascal
Opublikowane w: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Numer 4, 2021
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2021.16

Canonization for Bounded and Dihedral Color Classes in Choiceless Polynomial Time

Autorzy: Lichter, Moritz; Schweitzer, Pascal
Opublikowane w: CSL 2021, Numer 3, 2021
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2021.31

Limitations of the Invertible-Map Equivalences

Autorzy: Anuj Dawar, Erich Grädel, Moritz Lichter,
Opublikowane w: Journal of Logic and Computation, Numer 0955792X, 2022, ISSN 0955-792X
Wydawca: Oxford University Press
DOI: 10.1093/logcom/exac058

Publikacje

Udostępnij tę stronę

Pobierz