A Formal Analysis of Algorithms for Matroids and Greedoids.

Mohammad Abdulaziz, Thomas Ammer, Shriya Meenakshisundaram, Adem Rimpapa

Browse the full ITP paper archive.