Anders, Markus
- Engineering a Fast Probabilistic Isomorphism Test
2020/11/18 by Anders, Markus, Schweitzer, Pascal · 2 citations
#68W20 #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #G.2.2
- Parallel Computation of Combinatorial Symmetries
2021/08/10 by Anders, Markus, Schweitzer, Pascal · 2 citations
#68W20 #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #G.2.2
- Engineering a Preprocessor for Symmetry Detection
2023/02/13 by Markus Anders, Anders, Markus, Pascal Schweitzer +3 · 2 citations
Computer Science · Physics and Astronomy · #68W20 #Complex Network Analysis Techniques #Data Management and Algorithms #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #G.2.2 #Graph Theory and Algorithms
- satsuma: Structure-based Symmetry Breaking in SAT
2024/06/19 by Anders, Markus, Brenner, Sofia, Rattan, Gaurav · 3 citations
#68W01 #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences
- Search Problems in Trees with Symmetries: near optimal traversal strategies for individualization-refinement algorithms
2020/11/03 by Markus Anders, Pascal Schweitzer, Anders, Markus +1 · 1 citation
Computer Science · #Optimization and Search Problems #Complexity and Algorithms in Graphs #Advanced Graph Theory Research