Certificate of the Minimal Size of 11-Channel Sorting Networks
收藏数据链接：
官方服务：
资源简介：
A machine checkable certificate proving the absence of 11-channel sorting networks with fewer than 35 comparators. See github.com/jix/sortnetopt (10.5281/zenodo.4139151) for software that can check this certificate and for further information.
提供机构：
Zenodo创建时间：
2020-10-27
