@Inbook{SAT/Devriendt16,
author="Devriendt, Jo
and Bogaerts, Bart
and Bruynooghe, Maurice
and Denecker, Marc",
editor="Creignou, Nadia
and Le Berre, Daniel",
title="Improved Static Symmetry Breaking for SAT",
bookTitle="Theory and Applications of Satisfiability Testing -- SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings",
year="2016",
publisher="Springer International Publishing",
pages="104--122",
isbn="978-3-319-40970-2",
doi="10.1007/978-3-319-40970-2_8",
url="http://dx.doi.org/10.1007/978-3-319-40970-2_8"
}