Published March 24, 2022 | Version v1
Other Open

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

Creators

  • 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

Is derived from
Software: https://gitlab.com/MIAOresearch/VeriPB (URL)
Software: https://bitbucket.org/krr/breakid (URL)