Verified reductions for optimization.

Alexander Bentkamp, Ramon Fernndez Mir, Jeremy Avigad

Browse the full TACAS paper archive.