Specification and Automatic Verification of Computational Reductions

Julien Grange, Fabian Vehlken, Nils Vortmeier +1

We are interested in the following validation problem for computational reductions: for algorithmic problems $P$ and $P^{\star }$, is a given candidate reduction indeed a reduction fr…