Published June 6, 2022
| Version v1
Dataset
Open
A SAT Attack on Rota's Basis Conjecture: Supplemental data for rank 4
Description
The file contains a DRAT-proof for Rota's Basis Conjecture for Rank 4 generated by a program. For verifying the output and intermediate files, we refer to source.
Files
data.zip
Files
(75.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:5eee4c2970459a149d7ecff016627061
|
75.0 MB | Preview Download |