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