Small Uniform Random SAT Samples
-
1
Universidad Nacional de Educación a Distancia
info
Editor: Zenodo
Año de publicación: 2020
Tipo: Dataset
DOI:
10.5281/ZENODO.3712298
lock_openAcceso abierto editor
Resumen
Small Random SAT samples generated with the following <em>samplers</em>: BDDSampler Spur QuickSampler KUS Unigen2 Smarch