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

Markus Anders, Pascal Schweitzer

Browse the full ICALP paper archive.