View of A formal proof of Sasaki-Murao algorithm

Return to Article Details A formal proof of Sasaki-Murao algorithm Download Download PDF