---
Bug-Database: https://github.com/markusa4/dejavu/issues
Bug-Submit: https://github.com/markusa4/dejavu/issues/new
Documentation: https://automorphisms.org/documentation/
Reference:
 - Author: Markus Anders and Pascal Schweitzer
   Title: >-
     Search Problems in Trees with Symmetries: Near Optimal Traversal
     Strategies for Individualization-Refinement Algorithms
   Booktitle: >-
     48th International Colloquium on Automata, Languages, and Programming
     (ICALP 2021)
   Series: Leibniz International Proceedings in Informatics (LIPIcs)
   Volume: 198
   Pages: "16:1-16:21"
   Year: 2021
   DOI: 10.4230/LIPIcs.ICALP.2021.16
 - Author: Markus Anders and Pascal Schweitzer
   Title: Engineering a Fast Probabilistic Isomorphism Test
   Booktitle: >-
     2021 Proceedings of the Workshop on Algorithm Engineering and Experiments
     (ALENEX)
   Pages: 73-84
   Year: 2021
   DOI: 10.1137/1.9781611976472.6
 - Author: Markus Anders and Pascal Schweitzer
   Title: Parallel Computation of Combinatorial Symmetries
   Booktitle: 29th Annual European Symposium on Algorithms (ESA 2021)
   Series: Leibniz International Proceedings in Informatics (LIPIcs)
   Volume: 204
   Pages: "6:1-6:18"
   Year: 2021
   DOI: 10.4230/LIPIcs.ESA.2021.6
 - Author: Markus Anders and Pascal Schweitzer and Julian Stieß
   Title: Engineering a Preprocessor for Symmetry Detection
   Booktitle: 21st International Symposium on Experimental Algorithms (SEA 2023)
   Series: Leibniz International Proceedings in Informatics (LIPIcs)
   Volume: 265
   Pages: "1:1-1:21"
   Year: 2023
   DOI: 10.4230/LIPIcs.SEA.2023.1
Repository: https://github.com/markusa4/dejavu.git
Repository-Browse: https://github.com/markusa4/dejavu
