TY - GENERIC DO - 10.20944/preprints202010.0560.v1 UR - http://dx.doi.org/10.20944/preprints202010.0560.v1 TI - The Self-Similarity of Industrial SAT Instances T2 - Preprints AU - Ansótegui, Carlos AU - Bonet, Maria Luisa AU - Giráldez-Cru, Jesús AU - Levy, Jordi PY - 2020 DA - 2020/10/27 PB - Preprints