Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published March 24, 2022 | Version v1
Other Open

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation (Code and Data)

  • 1. Vrije Universiteit Brussel
  • 2. Lund University, Lund, Sweden
  • 3. University of Glasgow, Glasgow, UK
  • 4. University of Copenhagen, Copenhagen, Denmark

Description

Supplemental material for the AAAI22 paper "Certified Symmetry and Dominance Breaking for Combinatorial Optimisation".

Files

code_and_data_certified_sym_and_dom.zip

Files (15.8 MB)

Name Size Download all
md5:4e9c068fb1774295fca98f95832c155f
15.8 MB Preview Download

Additional details

Related works