Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables.

Markus Anders, Bart Bogaerts, Benjamin Bog, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan

Browse the full AAAI paper archive.