Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables.

Rudolf Berghammer, Markus Mller-Olm

Browse the full LOPSTR paper archive.