%0 Conference Paper %1 conf/aaai/0001GMN22 %A Bogaerts, Bart %A Gocht, Stephan %A McCreesh, Ciaran %A Nordström, Jakob %B AAAI %D 2022 %I AAAI Press %K dblp %P 3698-3707 %T Certified Symmetry and Dominance Breaking for Combinatorial Optimisation. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2022.html#0001GMN22 %@ 978-1-57735-876-3

@inproceedings{conf/aaai/0001GMN22, added-at = {2023-09-08T00:00:00.000+0200}, author = {Bogaerts, Bart and Gocht, Stephan and McCreesh, Ciaran and Nordström, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/2c7aa828f59ef18bbee4a4f02ffa0d214/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2022}, ee = {https://doi.org/10.1609/aaai.v36i4.20283}, interhash = {6e9fa39b18412cf2c6d6974726346090}, intrahash = {c7aa828f59ef18bbee4a4f02ffa0d214}, isbn = {978-1-57735-876-3}, keywords = {dblp}, pages = {3698-3707}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:12:25.000+0200}, title = {Certified Symmetry and Dominance Breaking for Combinatorial Optimisation.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2022.html#0001GMN22}, year = 2022 }