Verified Approximation Algorithms

MaRDI QIDQ7361693FDO

Authors Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani

Publication date 16 January 2020

Cites work

• A linear approximation algorithm for bin packing with absolute approximation factor \(\frac {3}{2}\)
• Logic Based Program Synthesis and Transformation
• Verified Approximation Algorithms

This page was built for software: Verified Approximation Algorithms