Verified Approximation Algorithms. - Robin Eßmann; Tobias Nipkow; Simon Robillard (Arch. Formal Proofs, 2020)

Verified Approximation Algorithms. - Robin Eßmann; Tobias Nipkow; Simon Robillard; Ujkan Sulejmani (Log. Methods Comput. Sci., 2022)