Lichter, Moritz
- Walk refinement, walk logic, and the iteration number of the\n Weisfeiler-Leman algorithm
2019/05/08 by Moritz Lichter, Ilia Ponomarenko, Lichter, Moritz +3 · 2 citations
Computer Science · Mathematics · #Advanced Combinatorial Mathematics #Advanced Graph Theory Research #Combinatorics (math.CO) #Complexity and Algorithms in Graphs #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)
- Computational complexity of the Weisfeiler-Leman dimension
2024/02/18 by Lichter, Moritz, Raßmann, Simon, Schweitzer, Pascal · 3 citations
#Computational Complexity (cs.CC) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences
- Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
2023/08/23 by Grohe, Martin, Lichter, Moritz, Neuen, Daniel +1 · 2 citations
#Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Limitations of Affine Integer Relaxations for Solving Constraint Satisfaction Problems
2024/07/12 by Lichter, Moritz, Pago, Benedikt · 2 citations
#Computational Complexity (cs.CC) #FOS: Computer and information sciences