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 |