Login / Signup

Search Problems in Trees with Symmetries: Near Optimal Traversal Strategies for Individualization-Refinement Algorithms.

Markus AndersPascal Schweitzer
Published in: ICALP (2021)
Keyphrases