Large Uniform Random SAT Samples
| Main Authors: | Ruben Heradio, David Fernandez-Amoros |
|---|---|
| Format: | info dataset eJournal |
| Bahasa: | eng |
| Terbitan: |
, 2020
|
| Subjects: | |
| Online Access: |
https://zenodo.org/record/3712220 |
Daftar Isi:
- Large Random SAT samples generated with the following samplers: BDDSampler Spur QuickSampler KUS Unigen2 Smarch
- This dataset has been funded by (i) the Spanish Ministry of Science and Innovation, under a grant with reference DPI2016-77677-P, and (ii) the Community of Madrid, under the research network CAM RoboCity2030 S2013/MIT-2748.