@article{aaai/BogaertsGMN22, 
	title={Certified Symmetry and Dominance Breaking for Combinatorial Optimisation}, 
	volume={36}, 
	url={https://ojs.aaai.org/index.php/AAAI/article/view/20283}, 
	DOI={10.1609/aaai.v36i4.20283}, 
	number={4}, 
	journal={Proceedings of the AAAI Conference on Artificial Intelligence}, 
	author={Bogaerts, Bart and Gocht, Stephan and McCreesh, Ciaran and Nordström, Jakob}, 
	year={2022}, 
	month={Jun.}, 
	pages={3698-3707} 
}