TY  - RPRT
TI  - Scale-Free Random SAT Instances
AU  - Carlos Ansótegui
AU  - Maria Luisa Bonet
AU  - Jordi Levy
PY  - 2019
DO  - 10.3390/a15060219
UR  - https://arxiv.org/abs/1708.06805
ID  - 1708.06805
ER  -