by Johannes K. Fichte, Markus Hecher, Stefan Szeider
Reference:
Breaking Symmetries with RootClique and LexTopsortJohannes K. Fichte, Markus Hecher, Stefan Szeider2020, Technical report AC-TR-20-010, Algorithms and Complexity Group, TU Wien.
Bibtex Entry:
@TechReport{FichteHecherSzeider20btr,
author = {Johannes K. Fichte and Markus Hecher and Stefan Szeider},
title = {Breaking Symmetries with {RootClique} and {LexTopsort}},
institution = {Algorithms and Complexity Group, TU Wien},
year = {2020},
number = {AC-TR-20-010},
url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-20-010.pdf},
}