Large Uniform Random SAT Samples

  1. Heradio, Ruben 1
  2. Fernandez-Amoros, David 1
  1. 1 Universidad Nacional de Educación a Distancia
    info

    Universidad Nacional de Educación a Distancia

    Madrid, España

    ROR https://ror.org/02msb5n36

Argitaratzaile: Zenodo

Argitalpen urtea: 2020

Mota: Dataset

CC BY 4.0

DOI: 10.5281/ZENODO.3712220 lock_openSarbide irekia editor

Laburpena

Large Random SAT samples generated with the following <em>samplers</em>: BDDSampler Spur QuickSampler KUS Unigen2 Smarch