Formally proving size optimality of sorting networks
scientific article; zbMATH DE number 6833657
scientific article