@inproceedings{DBLP:conf/cp/FichteHS20a, author = {Fichte, Johannes Klaus and Hecher, Markus and Szeider, Stefan}, title = {Breaking Symmetries with RootClique and LexTopSort}, booktitle = {{CP}}, series = {Lecture Notes in Computer Science}, volume = {12333}, pages = {286--303}, publisher = {Springer}, year = {2020} }