A Characterization of Individualization-Refinement Trees

Markus Anders, Jendrik Brachter, Pascal Schweitzer. A Characterization of Individualization-Refinement Trees. In Hee-Kap Ahn, Kunihiko Sadakane, editors, 32nd International Symposium on Algorithms and Computation, ISAAC 2021, December 6-8, 2021, Fukuoka, Japan. Volume 212 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Authors

Markus Anders

This author has not been identified. Look up 'Markus Anders' in Google

Jendrik Brachter

This author has not been identified. Look up 'Jendrik Brachter' in Google

Pascal Schweitzer

This author has not been identified. Look up 'Pascal Schweitzer' in Google