1 paper
Mohammad Abdulaziz, Thomas Ammer, Shriya Meenakshisundaram +1
We present a formal analysis, in Isabelle/HOL, of optimisation algorithms for matroids, which are useful generalisations of combinatorial structures that occur in optimisation, and…