TítuloOn the Classification of Industrial SAT Families
Publication TypeConference Paper
Year of Publication2015
AuthorsAnsótegui C, Bonet MLuisa, Giráldez-Cru J, Levy J
Conference NameProc. of the 18th Int. Conf. of the Catalan Association for Artificial Intelligence, CCIA'15
URLhttp://dx.doi.org/10.3233/978-1-61499-578-4-163
DOI10.3233/978-1-61499-578-4-163