TY  - RPRT
TI  - Verified reductions for optimization
AU  - Alexander Bentkamp
AU  - Ramon Fernández Mir
AU  - Jeremy Avigad
PY  - 2023
UR  - https://arxiv.org/abs/2301.09347
ID  - 2301.09347
ER  -