Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables

Open in new window