Published December 7, 2019
| Version v1
Dataset
Open
Certificate of the Minimal Size of 11-Channel Sorting Networks
Authors/Creators
Description
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.
Files
Files
(1.2 GB)
| Name | Size | |
|---|---|---|
|
md5:2847374c6bab1260c9771d6fafe65f44
|
1.2 GB | Download |