by Johannes K. Fichte, Markus Hecher, Stefan Szeider
Reference:
Breaking Symmetries with RootClique and LexTopsortJohannes K. Fichte, Markus Hecher, Stefan SzeiderProceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis, ed.), volume 12333 of Lecture Notes in Computer Science, pages 286–303, 2020, Springer Verlag.
Bibtex Entry:
@string{springer="Springer Verlag"}
@string{lncs="Lecture Notes in Computer Science"}
@InProceedings{FichteHecherSzeider20b,
author = {Johannes K. Fichte and Markus Hecher and Stefan Szeider},
title = {Breaking Symmetries with {RootClique} and {LexTopsort}},
booktitle = {Proceedings of CP 2020, the 26th International
Conference on Principles and Practice of Constraint
Programming},
year = {2020},
editor = {Helmut Simonis},
publisher = Springer,
volume = {12333},
series = LNCS,
pages = {286--303},
pdf = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-20-010.pdf},
keywords = {slim,reveal},
}