Machine-checkable optimality certificates for two MIPLIB 2017 instances listed as open (graph40-40-1rand, graph40-80-1rand)

Gippini Requeijo, Alfonso

Open source

DOI
10.5281/zenodo.22126451
Published
2026
Container
Not recorded
Publisher
Zenodo
Open access
yes

Credibility signals

limited evidence Score 47/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.5281/zenodo.22126451,
  title = {Machine-checkable optimality certificates for two MIPLIB 2017 instances listed as open (graph40-40-1rand, graph40-80-1rand)},
  author = {Gippini Requeijo, Alfonso},
  year = {2026},
  doi = {10.5281/zenodo.22126451},
  url = {https://doi.org/10.5281/zenodo.22126451}
}

RIS

TY  - JOUR
TI  - Machine-checkable optimality certificates for two MIPLIB 2017 instances listed as open (graph40-40-1rand, graph40-80-1rand)
AU  - Gippini Requeijo, Alfonso
PY  - 2026
DO  - 10.5281/zenodo.22126451
UR  - https://doi.org/10.5281/zenodo.22126451
ER  - 

APA

Alfonso, G. R. (2026). Machine-checkable optimality certificates for two MIPLIB 2017 instances listed as open (graph40-40-1rand, graph40-80-1rand). https://doi.org/10.5281/zenodo.22126451

Source records