No. Title Author Year
1 A Characterization of Individualization-Refinement Trees Anders, Markus et al. 2021
2 Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case Anders, Markus et al. 2021
3 Parallel Computation of Combinatorial Symmetries Anders, Markus et al. 2021
4 Search Problems in Trees with Symmetries: Near Optimal Traversal Strategies for Individualization-Refinement Algorithms Anders, Markus et al. 2021
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI