@article{202010.0560,
	doi = {10.20944/preprints202010.0560.v1},
	url = {https://doi.org/10.20944/preprints202010.0560.v1},
	year = 2020,
	month = {October},
	publisher = {Preprints},
	author = {Carlos Ansótegui and Maria Luisa Bonet and Jesús Giráldez-Cru and Jordi Levy},
	title = {The Self-Similarity of Industrial SAT Instances},
	journal = {Preprints}
}