Next generation algorithms for grabbing and exploiting symmetry

Projektinformationen

ENGAGES

ID Finanzhilfevereinbarung: 820148

DOI

10.3030/820148

Projekt abgeschlossen

EK-Unterschriftsdatum 18 Dezember 2018

Startdatum 1 März 2019

Enddatum 28 Februar 2025

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 999 094,00

EU-Beitrag

€ 1 999 094,00

Koordiniert durch

TECHNISCHE UNIVERSITAT DARMSTADT
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (10)

Classification of Finite Highly Regular Vertex-Colored Graphs

Autoren: Irene Heinrich, Thomas Schneider, Pascal Schweitzer
Veröffentlicht in: SIAM Journal on Discrete Mathematics, Ausgabe 39, 2025, Seite(n) 413-448, ISSN 0895-4801
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/23m1565309

Automated testing and interactive construction of unavoidable sets for graph classes of small path‐width

Autoren: Oliver Bachtler, Irene Heinrich
Veröffentlicht in: Journal of Graph Theory, Ausgabe 104, 2023, Seite(n) 289-319, ISSN 0364-9024
Herausgeber: John Wiley & Sons Inc.
DOI: 10.1002/jgt.22964

On groups with chordal power graph, including a classification in the case of finite simple groups

Autoren: Jendrik Brachter; Eda Kaja
Veröffentlicht in: Journal of Algebraic Combinatorics, Ausgabe 17, 2023, ISSN 0925-9899
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10801-023-01262-2

Limitations of the Invertible-Map Equivalences

Autoren: Anuj Dawar, Erich Grädel, Moritz Lichter,
Veröffentlicht in: Journal of Logic and Computation, Ausgabe 0955792X, 2022, ISSN 0955-792X
Herausgeber: Oxford University Press
DOI: 10.1093/logcom/exac058

On the modular isomorphism problem for groups with center of index at most $$p^3$$

Autoren: Brenner, Sofia; García-Lucas, Diego
Veröffentlicht in: Archiv der Mathematik, Ausgabe 13, 2024, ISSN 0003-889X
Herausgeber: Birkhauser Verlag
DOI: 10.1007/s00013-024-01977-z

Classification of countable 2-colored ultrahomogeneous graphs where each color class forms a disjoint union of cliques

Autoren: Sofia Brenner, Irene Heinrich
Veröffentlicht in: European Journal of Combinatorics, Ausgabe 125, 2025, Seite(n) 104093, ISSN 0195-6698
Herausgeber: Academic Press
DOI: 10.1016/j.ejc.2024.104093

Countable ultrahomogeneous 2-colored graphs consisting of disjoint unions of cliques

Autoren: Sofia Brenner; Irene Heinrich
Veröffentlicht in: European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'23), Ausgabe 8, 2023, ISSN 2788-3116
Herausgeber: EUROCOMB’23
DOI: 10.5817/cz.muni.eurocomb23-031

Classification of non-solvable groups whose power graph is a cograph

Autoren: Jendrik Brachter; Eda Kaja
Veröffentlicht in: Journal of Group Theory, Ausgabe 6, 2023, ISSN 1433-5883
Herausgeber: Walter de Gruyter GmbH & Co. KG
DOI: 10.1515/jgth-2022-0081

A systematic approach to random data augmentation on graph neural networks

Autoren: Franks, Billy Joe; Anders, Markus; Kloft, Marius; Schweitzer, Pascal
Veröffentlicht in: Transactions on Machine Learning Research, Ausgabe 12, 2023, ISSN 2835-8856
Herausgeber: Journal of Machine Learning Research Inc.
DOI: 10.48550/arxiv.2112.04314

Tuple regularity and -ultrahomogeneity for finite groups

Autoren: Brenner, Sofia
Veröffentlicht in: Journal of Group Theory, Ausgabe 6, 2024, ISSN 1433-5883
Herausgeber: Walter de Gruyter GmbH & Co. KG
DOI: 10.1515/jgth-2023-0106

Conference proceedings (26)

Engineering a Preprocessor for Symmetry Detection

Autoren: Anders, Markus; Schweitzer, Pascal; Stieß, Julian
Veröffentlicht in: 21st International Symposium on Experimental Algorithms (SEA 2023), Ausgabe 8, 2023, ISSN 1868-8969
Herausgeber: Dagstuhl Publishing
DOI: 10.48550/arxiv.2302.06351

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

Autoren: Anders, Markus; Schweitzer, Pascal; Wetzels, Florian
Veröffentlicht in: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Ausgabe 1, 2021
Herausgeber: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2021.15

The Iteration Number of the Weisfeiler-Leman Algorithm

Autoren: Martin Grohe, Moritz Lichter, Daniel Neuen
Veröffentlicht in: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2024, Seite(n) 1-13
Herausgeber: IEEE
DOI: 10.1109/lics56636.2023.10175741

Choiceless Polynomial Time with Witnessed Symmetric Choice

Autoren: Lichter, Moritz; Schweitzer, Pascal
Veröffentlicht in: LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer ScienceAugust 2022, 2022
Herausgeber: ACM
DOI: 10.1145/3531130.3533348

The Complexity of Symmetry Breaking Beyond Lex-Leader

Autoren: Markus Anders, Sofia Brenner, Gaurav Rattan
Veröffentlicht in: 2024
Herausgeber: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
DOI: 10.4230/lipics.cp.2024.3

A Characterization of Individualization-Refinement Trees

Autoren: Anders, Brachter, Schweitzer
Veröffentlicht in: 32nd International Symposium on Algorithms and Computation (ISAAC 2021), Ausgabe 212, 2021, Seite(n) 24:1--24:14, ISBN 978-3-95977-214-3
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.isaac.2021.24

Computational Complexity of the Weisfeiler-Leman Dimension

Autoren: Lichter, Moritz; Raßmann, Simon; Schweitzer, Pascal
Veröffentlicht in: 33rd EACSL Annual Conference on Computer Science Logic : CSL 2025, February 10-14, 2025, Amsterdam, Netherlands / edited by Jörg Endrullis, Sylvain Schmitz<br/>33. EACSL Annual Conference on Computer Science Logic, CSL 2025, Amsterdam, Netherlands, 2025-02-10 - 2025-02-14, Ausgabe 22, 2025
Herausgeber: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
DOI: 10.4230/lipics.csl.2025.13

Algorithms Transcending the SAT-Symmetry Interface

Autoren: Anders, Markus; Schweitzer, Pascal; Soos, Mate
Veröffentlicht in: 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Ausgabe 20, 2023, ISSN 1868-8969
Herausgeber: Dagstuhl Publishing
DOI: 10.48550/arxiv.2306.00613

Algorithms Transcending the SAT-Symmetry Interface

Autoren: Markus Anders, Pascal Schweitzer, Mate Soos
Veröffentlicht in: 2023
Herausgeber: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sat.2023.1

Parallel Computation of Combinatorial Symmetries

Autoren: Anders, Schweitzer
Veröffentlicht in: ESA 2021, Ausgabe 6, 2021
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.esa.2021.6

Resolution with Symmetry Rule Applied to Linear Equations

Autoren: Schweitzer, Pascal; Seebach, Constantin
Veröffentlicht in: Symposium on Theoretical Aspects of Computer Science (STACS), Ausgabe 3, 2021
Herausgeber: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.stacs.2021.58

Finite Variable Counting Logics with Restricted Requantification

Autoren: Simon Raßmann, Georg Schindling, Pascal Schweitzer
Veröffentlicht in: 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), 2025
Herausgeber: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
DOI: 10.4230/lipics.csl.2025.14

SAT Preprocessors and Symmetry.

Autoren: Markus Anders
Veröffentlicht in: 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), 2022
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.sat.2022.1

Separating Rank Logic from Polynomial Time

Autoren: Moritz Lichter
Veröffentlicht in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Seite(n) 1-13, ISBN 978-1-6654-4895-6
Herausgeber: IEEE
DOI: 10.1109/lics52264.2021.9470598

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

Autoren: Moritz Lichter, Ilia Ponomarenko, Pascal Schweitzer
Veröffentlicht in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Seite(n) 1-13, ISBN 978-1-7281-3608-0
Herausgeber: IEEE
DOI: 10.1109/lics.2019.8785694

On the Weisfeiler-Leman Dimension of Finite Groups

Autoren: Jendrik Brachter, Pascal Schweitzer
Veröffentlicht in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Seite(n) 287-300, ISBN 9781450371049
Herausgeber: ACM
DOI: 10.1145/3373718.3394786

A unifying method for the design of algorithms canonizing combinatorial objects

Autoren: Pascal Schweitzer, Daniel Wiebking
Veröffentlicht in: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019, 2019, Seite(n) 1247-1258, ISBN 9781450367059
Herausgeber: ACM Press
DOI: 10.1145/3313276.3316338

Satsuma: Structure-Based Symmetry Breaking in SAT

Autoren: Markus Anders, Sofia Brenner, Gaurav Rattan
Veröffentlicht in: 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), 2024
Herausgeber: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
DOI: 10.4230/lipics.sat.2024.4

Reductions for the 3-Decomposition Conjecture

Autoren: Bachtler, Oliver; Heinrich, Irene
Veröffentlicht in: Proceedings of the {XII} Latin-American Algorithms, Graphs and Optimization Symposium, {LAGOS} 2023, Ausgabe 12, 2023, ISBN 9781713889816
Herausgeber: Elsevier
DOI: 10.1016/j.procs.2023.08.218

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

Autoren: Anders, Markus; Schweitzer, Pascal
Veröffentlicht in: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Ausgabe 4, 2021
Herausgeber: 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

Autoren: Lichter, Moritz; Schweitzer, Pascal
Veröffentlicht in: CSL 2021, Ausgabe 3, 2021
Herausgeber: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2021.31

Taming Horizontal Instability in Merge Trees: On the Computation of a Comprehensive Deformation-Based Edit Distance

Autoren: Wetzels, Florian; Anders, Markus; Garth, Christoph
Veröffentlicht in: Topological Data Analysis and Visualization (TopoInVis), Ausgabe 18, 2023, ISBN 979-8-3503-2964-3
Herausgeber: IEEE
DOI: 10.1109/topoinvis60193.2023.00015

Twin-width of graphs with tree-structured decompositions

Autoren: Heinrich, Irene; Raßmann, Simon
Veröffentlicht in: 18th International Symposium on Parameterized and Exact Computation (IPEC 2023), Ausgabe 9, 2023, ISSN 1868-8969
Herausgeber: Dagstuhl Publishing
DOI: 10.48550/arxiv.2308.14677

Using Light Spanning Graphs for Passenger Assignment in Public Transport

Autoren: Heinrich, Irene; Herrala, Olli; Schiewe, Philine; Terho; Topias
Veröffentlicht in: Ausgabe 16, 2023
Herausgeber: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany

Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements

Autoren: Grohe, Martin; Lichter, Moritz; Neuen, Daniel; Schweitzer, Pascal
Veröffentlicht in: Crossref, Ausgabe 24, 2023, ISBN 979-8-3503-1894-4
Herausgeber: IEEE Computer Society
DOI: 10.1109/focs57990.2023.00052

Non-Pool-Based Line Planning on Graphs of Bounded Treewidth

Autoren: Heinrich, Irene; Schiewe, Philine; Seebach; Constantin
Veröffentlicht in: Ausgabe 17, 2023
Herausgeber: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany

Book chapters (3)

Engineering a Fast Probabilistic Isomorphism Test

Autoren: Markus Anders, Pascal Schweitzer
Veröffentlicht in: 2021 Proceedings of the Workshop on Algorithm Engineering and Experiments (ALENEX), 2021, Seite(n) 73-84, ISBN 978-1-61197-647-2
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611976472.6

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

Autoren: Irene Heinrich, Till Heller, Eva Schmidt, Manuel Streicher
Veröffentlicht in: Graph-Theoretic Concepts in Computer Science - 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers, Ausgabe 12301, 2020, Seite(n) 352-363, ISBN 978-3-030-60439-4
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-60440-0_28

Finite Vertex-Colored Ultrahomogeneous Oriented Graphs

Autoren: Irene Heinrich, Eda Kaja, Pascal Schweitzer
Veröffentlicht in: Lecture Notes in Computer Science, Graph-Theoretic Concepts in Computer Science, 2025, Seite(n) 251-265
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-75409-8_18