| Title | On the Classification of Industrial SAT Families |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Ansótegui C, Bonet MLuisa, Giráldez-Cru J, Levy J |
| Conference Name | Proc. of the 18th Int. Conf. of the Catalan Association for Artificial Intelligence, CCIA'15 |
| URL | http://dx.doi.org/10.3233/978-1-61499-578-4-163 |
| DOI | 10.3233/978-1-61499-578-4-163 |
