Autor der Publikation

Exploration of Graphs with Excluded Minors.

, , , und . ESA, Volume 274 von LIPIcs, Seite 11:1-11:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Progress on Certifying Algorithms., und . FAW, Volume 6213 von Lecture Notes in Computer Science, Seite 1-5. Springer, (2010)Search Problems in Trees with Symmetries: near optimal traversal strategies for individualization-refinement algorithms., und . CoRR, (2020)Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic., und . LICS, Seite 287-296. ACM, (2016)Depth-First Search Using O(n) Bits., , , , , , , , und . ISAAC, Volume 8889 von Lecture Notes in Computer Science, Seite 553-564. Springer, (2014)Canonization for Bounded and Dihedral Color Classes in Choiceless Polynomial Time., und . CSL, Volume 183 von LIPIcs, Seite 31:1-31:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Engineering a Preprocessor for Symmetry Detection., , und . SEA, Volume 265 von LIPIcs, Seite 1:1-1:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Algorithms Transcending the SAT-Symmetry Interface., , und . SAT, Volume 271 von LIPIcs, Seite 1:1-1:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic., und . Logical Methods in Computer Science, (2019)A Faster Isomorphism Test for Graphs of Small Degree., , und . SIAM J. Comput., 52 (6): S18-1 (Dezember 2023)The Weisfeiler-Leman dimension of planar graphs is at most 3., , und . LICS, Seite 1-12. IEEE Computer Society, (2017)