Next generation algorithms for grabbing and exploiting symmetry

Informations projet

ENGAGES

N° de convention de subvention: 820148

DOI

10.3030/820148

Projet clôturé

Date de signature de la CE 18 Decembre 2018

Date de début 1 Mars 2019

Date de fin 28 Février 2025

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 999 094,00

Contribution de l’UE

€ 1 999 094,00

Coordonné par

TECHNISCHE UNIVERSITAT DARMSTADT
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (10)

Classification of Finite Highly Regular Vertex-Colored Graphs

Auteurs: Irene Heinrich, Thomas Schneider, Pascal Schweitzer
Publié dans: SIAM Journal on Discrete Mathematics, Numéro 39, 2025, Page(s) 413-448, ISSN 0895-4801
Éditeur: 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

Auteurs: Oliver Bachtler, Irene Heinrich
Publié dans: Journal of Graph Theory, Numéro 104, 2023, Page(s) 289-319, ISSN 0364-9024
Éditeur: 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

Auteurs: Jendrik Brachter; Eda Kaja
Publié dans: Journal of Algebraic Combinatorics, Numéro 17, 2023, ISSN 0925-9899
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10801-023-01262-2

Limitations of the Invertible-Map Equivalences

Auteurs: Anuj Dawar, Erich Grädel, Moritz Lichter,
Publié dans: Journal of Logic and Computation, Numéro 0955792X, 2022, ISSN 0955-792X
Éditeur: Oxford University Press
DOI: 10.1093/logcom/exac058

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

Auteurs: Brenner, Sofia; García-Lucas, Diego
Publié dans: Archiv der Mathematik, Numéro 13, 2024, ISSN 0003-889X
Éditeur: 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

Auteurs: Sofia Brenner, Irene Heinrich
Publié dans: European Journal of Combinatorics, Numéro 125, 2025, Page(s) 104093, ISSN 0195-6698
Éditeur: Academic Press
DOI: 10.1016/j.ejc.2024.104093

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

Auteurs: Sofia Brenner; Irene Heinrich
Publié dans: European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'23), Numéro 8, 2023, ISSN 2788-3116
Éditeur: EUROCOMB’23
DOI: 10.5817/cz.muni.eurocomb23-031

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

Auteurs: Jendrik Brachter; Eda Kaja
Publié dans: Journal of Group Theory, Numéro 6, 2023, ISSN 1433-5883
Éditeur: Walter de Gruyter GmbH & Co. KG
DOI: 10.1515/jgth-2022-0081

A systematic approach to random data augmentation on graph neural networks

Auteurs: Franks, Billy Joe; Anders, Markus; Kloft, Marius; Schweitzer, Pascal
Publié dans: Transactions on Machine Learning Research, Numéro 12, 2023, ISSN 2835-8856
Éditeur: Journal of Machine Learning Research Inc.
DOI: 10.48550/arxiv.2112.04314

Tuple regularity and -ultrahomogeneity for finite groups

Auteurs: Brenner, Sofia
Publié dans: Journal of Group Theory, Numéro 6, 2024, ISSN 1433-5883
Éditeur: Walter de Gruyter GmbH & Co. KG
DOI: 10.1515/jgth-2023-0106

Conference proceedings (26)

Engineering a Preprocessor for Symmetry Detection

Auteurs: Anders, Markus; Schweitzer, Pascal; Stieß, Julian
Publié dans: 21st International Symposium on Experimental Algorithms (SEA 2023), Numéro 8, 2023, ISSN 1868-8969
Éditeur: Dagstuhl Publishing
DOI: 10.48550/arxiv.2302.06351

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

Auteurs: Anders, Markus; Schweitzer, Pascal; Wetzels, Florian
Publié dans: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Numéro 1, 2021
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2021.15

The Iteration Number of the Weisfeiler-Leman Algorithm

Auteurs: Martin Grohe, Moritz Lichter, Daniel Neuen
Publié dans: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2024, Page(s) 1-13
Éditeur: IEEE
DOI: 10.1109/lics56636.2023.10175741

Choiceless Polynomial Time with Witnessed Symmetric Choice

Auteurs: Lichter, Moritz; Schweitzer, Pascal
Publié dans: LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer ScienceAugust 2022, 2022
Éditeur: ACM
DOI: 10.1145/3531130.3533348

The Complexity of Symmetry Breaking Beyond Lex-Leader

Auteurs: Markus Anders, Sofia Brenner, Gaurav Rattan
Publié dans: 2024
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
DOI: 10.4230/lipics.cp.2024.3

A Characterization of Individualization-Refinement Trees

Auteurs: Anders, Brachter, Schweitzer
Publié dans: 32nd International Symposium on Algorithms and Computation (ISAAC 2021), Numéro 212, 2021, Page(s) 24:1--24:14, ISBN 978-3-95977-214-3
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.isaac.2021.24

Computational Complexity of the Weisfeiler-Leman Dimension

Auteurs: Lichter, Moritz; Raßmann, Simon; Schweitzer, Pascal
Publié dans: 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, Numéro 22, 2025
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
DOI: 10.4230/lipics.csl.2025.13

Algorithms Transcending the SAT-Symmetry Interface

Auteurs: Anders, Markus; Schweitzer, Pascal; Soos, Mate
Publié dans: 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Numéro 20, 2023, ISSN 1868-8969
Éditeur: Dagstuhl Publishing
DOI: 10.48550/arxiv.2306.00613

Algorithms Transcending the SAT-Symmetry Interface

Auteurs: Markus Anders, Pascal Schweitzer, Mate Soos
Publié dans: 2023
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sat.2023.1

Parallel Computation of Combinatorial Symmetries

Auteurs: Anders, Schweitzer
Publié dans: ESA 2021, Numéro 6, 2021
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.esa.2021.6

Resolution with Symmetry Rule Applied to Linear Equations

Auteurs: Schweitzer, Pascal; Seebach, Constantin
Publié dans: Symposium on Theoretical Aspects of Computer Science (STACS), Numéro 3, 2021
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.stacs.2021.58

Finite Variable Counting Logics with Restricted Requantification

Auteurs: Simon Raßmann, Georg Schindling, Pascal Schweitzer
Publié dans: 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), 2025
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
DOI: 10.4230/lipics.csl.2025.14

SAT Preprocessors and Symmetry.

Auteurs: Markus Anders
Publié dans: 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), 2022
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.sat.2022.1

Separating Rank Logic from Polynomial Time

Auteurs: Moritz Lichter
Publié dans: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-13, ISBN 978-1-6654-4895-6
Éditeur: IEEE
DOI: 10.1109/lics52264.2021.9470598

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

Auteurs: Moritz Lichter, Ilia Ponomarenko, Pascal Schweitzer
Publié dans: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Page(s) 1-13, ISBN 978-1-7281-3608-0
Éditeur: IEEE
DOI: 10.1109/lics.2019.8785694

On the Weisfeiler-Leman Dimension of Finite Groups

Auteurs: Jendrik Brachter, Pascal Schweitzer
Publié dans: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Page(s) 287-300, ISBN 9781450371049
Éditeur: ACM
DOI: 10.1145/3373718.3394786

A unifying method for the design of algorithms canonizing combinatorial objects

Auteurs: Pascal Schweitzer, Daniel Wiebking
Publié dans: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019, 2019, Page(s) 1247-1258, ISBN 9781450367059
Éditeur: ACM Press
DOI: 10.1145/3313276.3316338

Satsuma: Structure-Based Symmetry Breaking in SAT

Auteurs: Markus Anders, Sofia Brenner, Gaurav Rattan
Publié dans: 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), 2024
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
DOI: 10.4230/lipics.sat.2024.4

Reductions for the 3-Decomposition Conjecture

Auteurs: Bachtler, Oliver; Heinrich, Irene
Publié dans: Proceedings of the {XII} Latin-American Algorithms, Graphs and Optimization Symposium, {LAGOS} 2023, Numéro 12, 2023, ISBN 9781713889816
Éditeur: Elsevier
DOI: 10.1016/j.procs.2023.08.218

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

Auteurs: Anders, Markus; Schweitzer, Pascal
Publié dans: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Numéro 4, 2021
Éditeur: 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

Auteurs: Lichter, Moritz; Schweitzer, Pascal
Publié dans: CSL 2021, Numéro 3, 2021
Éditeur: 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

Auteurs: Wetzels, Florian; Anders, Markus; Garth, Christoph
Publié dans: Topological Data Analysis and Visualization (TopoInVis), Numéro 18, 2023, ISBN 979-8-3503-2964-3
Éditeur: IEEE
DOI: 10.1109/topoinvis60193.2023.00015

Twin-width of graphs with tree-structured decompositions

Auteurs: Heinrich, Irene; Raßmann, Simon
Publié dans: 18th International Symposium on Parameterized and Exact Computation (IPEC 2023), Numéro 9, 2023, ISSN 1868-8969
Éditeur: Dagstuhl Publishing
DOI: 10.48550/arxiv.2308.14677

Using Light Spanning Graphs for Passenger Assignment in Public Transport

Auteurs: Heinrich, Irene; Herrala, Olli; Schiewe, Philine; Terho; Topias
Publié dans: Numéro 16, 2023
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany

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

Auteurs: Grohe, Martin; Lichter, Moritz; Neuen, Daniel; Schweitzer, Pascal
Publié dans: Crossref, Numéro 24, 2023, ISBN 979-8-3503-1894-4
Éditeur: IEEE Computer Society
DOI: 10.1109/focs57990.2023.00052

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

Auteurs: Heinrich, Irene; Schiewe, Philine; Seebach; Constantin
Publié dans: Numéro 17, 2023
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany

Book chapters (3)

Engineering a Fast Probabilistic Isomorphism Test

Auteurs: Markus Anders, Pascal Schweitzer
Publié dans: 2021 Proceedings of the Workshop on Algorithm Engineering and Experiments (ALENEX), 2021, Page(s) 73-84, ISBN 978-1-61197-647-2
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611976472.6

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

Auteurs: Irene Heinrich, Till Heller, Eva Schmidt, Manuel Streicher
Publié dans: Graph-Theoretic Concepts in Computer Science - 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers, Numéro 12301, 2020, Page(s) 352-363, ISBN 978-3-030-60439-4
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-60440-0_28

Finite Vertex-Colored Ultrahomogeneous Oriented Graphs

Auteurs: Irene Heinrich, Eda Kaja, Pascal Schweitzer
Publié dans: Lecture Notes in Computer Science, Graph-Theoretic Concepts in Computer Science, 2025, Page(s) 251-265
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-75409-8_18