Next generation algorithms for grabbing and exploiting symmetry

Informacje na temat projektu

ENGAGES

Identyfikator umowy o grant: 820148

DOI

10.3030/820148

Projekt został zamknięty

Data podpisania przez KE 18 Grudnia 2018

Data rozpoczęcia 1 Marca 2019

Data zakończenia 28 Lutego 2025

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 999 094,00

Wkład UE

€ 1 999 094,00

Koordynowany przez

TECHNISCHE UNIVERSITAT DARMSTADT
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Peer reviewed articles (10)

Classification of Finite Highly Regular Vertex-Colored Graphs

Autorzy: Irene Heinrich, Thomas Schneider, Pascal Schweitzer
Opublikowane w: SIAM Journal on Discrete Mathematics, Numer 39, 2025, Strona(/y) 413-448, ISSN 0895-4801
Wydawca: 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

Autorzy: Oliver Bachtler, Irene Heinrich
Opublikowane w: Journal of Graph Theory, Numer 104, 2023, Strona(/y) 289-319, ISSN 0364-9024
Wydawca: 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

Autorzy: Jendrik Brachter; Eda Kaja
Opublikowane w: Journal of Algebraic Combinatorics, Numer 17, 2023, ISSN 0925-9899
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10801-023-01262-2

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

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

Autorzy: Brenner, Sofia; García-Lucas, Diego
Opublikowane w: Archiv der Mathematik, Numer 13, 2024, ISSN 0003-889X
Wydawca: 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

Autorzy: Sofia Brenner, Irene Heinrich
Opublikowane w: European Journal of Combinatorics, Numer 125, 2025, Strona(/y) 104093, ISSN 0195-6698
Wydawca: Academic Press
DOI: 10.1016/j.ejc.2024.104093

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

Autorzy: Sofia Brenner; Irene Heinrich
Opublikowane w: European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'23), Numer 8, 2023, ISSN 2788-3116
Wydawca: EUROCOMB’23
DOI: 10.5817/cz.muni.eurocomb23-031

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

Autorzy: Jendrik Brachter; Eda Kaja
Opublikowane w: Journal of Group Theory, Numer 6, 2023, ISSN 1433-5883
Wydawca: Walter de Gruyter GmbH & Co. KG
DOI: 10.1515/jgth-2022-0081

A systematic approach to random data augmentation on graph neural networks

Autorzy: Franks, Billy Joe; Anders, Markus; Kloft, Marius; Schweitzer, Pascal
Opublikowane w: Transactions on Machine Learning Research, Numer 12, 2023, ISSN 2835-8856
Wydawca: Journal of Machine Learning Research Inc.
DOI: 10.48550/arxiv.2112.04314

Tuple regularity and -ultrahomogeneity for finite groups

Autorzy: Brenner, Sofia
Opublikowane w: Journal of Group Theory, Numer 6, 2024, ISSN 1433-5883
Wydawca: Walter de Gruyter GmbH & Co. KG
DOI: 10.1515/jgth-2023-0106

Conference proceedings (26)

Engineering a Preprocessor for Symmetry Detection

Autorzy: Anders, Markus; Schweitzer, Pascal; Stieß, Julian
Opublikowane w: 21st International Symposium on Experimental Algorithms (SEA 2023), Numer 8, 2023, ISSN 1868-8969
Wydawca: Dagstuhl Publishing
DOI: 10.48550/arxiv.2302.06351

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

The Iteration Number of the Weisfeiler-Leman Algorithm

Autorzy: Martin Grohe, Moritz Lichter, Daniel Neuen
Opublikowane w: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2024, Strona(/y) 1-13
Wydawca: IEEE
DOI: 10.1109/lics56636.2023.10175741

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

The Complexity of Symmetry Breaking Beyond Lex-Leader

Autorzy: Markus Anders, Sofia Brenner, Gaurav Rattan
Opublikowane w: 2024
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
DOI: 10.4230/lipics.cp.2024.3

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

Computational Complexity of the Weisfeiler-Leman Dimension

Autorzy: Lichter, Moritz; Raßmann, Simon; Schweitzer, Pascal
Opublikowane w: 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, Numer 22, 2025
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
DOI: 10.4230/lipics.csl.2025.13

Algorithms Transcending the SAT-Symmetry Interface

Autorzy: Anders, Markus; Schweitzer, Pascal; Soos, Mate
Opublikowane w: 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Numer 20, 2023, ISSN 1868-8969
Wydawca: Dagstuhl Publishing
DOI: 10.48550/arxiv.2306.00613

Algorithms Transcending the SAT-Symmetry Interface

Autorzy: Markus Anders, Pascal Schweitzer, Mate Soos
Opublikowane w: 2023
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sat.2023.1

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

Finite Variable Counting Logics with Restricted Requantification

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

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

Satsuma: Structure-Based Symmetry Breaking in SAT

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

Reductions for the 3-Decomposition Conjecture

Autorzy: Bachtler, Oliver; Heinrich, Irene
Opublikowane w: Proceedings of the {XII} Latin-American Algorithms, Graphs and Optimization Symposium, {LAGOS} 2023, Numer 12, 2023, ISBN 9781713889816
Wydawca: Elsevier
DOI: 10.1016/j.procs.2023.08.218

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

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

Autorzy: Wetzels, Florian; Anders, Markus; Garth, Christoph
Opublikowane w: Topological Data Analysis and Visualization (TopoInVis), Numer 18, 2023, ISBN 979-8-3503-2964-3
Wydawca: IEEE
DOI: 10.1109/topoinvis60193.2023.00015

Twin-width of graphs with tree-structured decompositions

Autorzy: Heinrich, Irene; Raßmann, Simon
Opublikowane w: 18th International Symposium on Parameterized and Exact Computation (IPEC 2023), Numer 9, 2023, ISSN 1868-8969
Wydawca: Dagstuhl Publishing
DOI: 10.48550/arxiv.2308.14677

Using Light Spanning Graphs for Passenger Assignment in Public Transport

Autorzy: Heinrich, Irene; Herrala, Olli; Schiewe, Philine; Terho; Topias
Opublikowane w: Numer 16, 2023
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany

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

Autorzy: Grohe, Martin; Lichter, Moritz; Neuen, Daniel; Schweitzer, Pascal
Opublikowane w: Crossref, Numer 24, 2023, ISBN 979-8-3503-1894-4
Wydawca: IEEE Computer Society
DOI: 10.1109/focs57990.2023.00052

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

Autorzy: Heinrich, Irene; Schiewe, Philine; Seebach; Constantin
Opublikowane w: Numer 17, 2023
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany

Book chapters (3)

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

Finite Vertex-Colored Ultrahomogeneous Oriented Graphs

Autorzy: Irene Heinrich, Eda Kaja, Pascal Schweitzer
Opublikowane w: Lecture Notes in Computer Science, Graph-Theoretic Concepts in Computer Science, 2025, Strona(/y) 251-265
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-75409-8_18