@conference {55866, title = {On the Classification of Industrial SAT Families}, booktitle = {Proc. of the 18th Int. Conf. of the Catalan Association for Artificial Intelligence, CCIA{\textquoteright}15}, year = {2015}, doi = {10.3233/978-1-61499-578-4-163}, url = {http://dx.doi.org/10.3233/978-1-61499-578-4-163}, author = {Carlos Ans{\'o}tegui and Mar{\'\i}a Luisa Bonet and Jes{\'u}s Gir{\'a}ldez-Cru and Jordi Levy} }