English
español
Navegación por Autor Bonet, M. Luisa
Mostrando resultados 3 a 4 de 4
< Anterior
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
openAccess | 21-oct-2015 | On the Classification of Industrial SAT Families | Ansotegui, Carlos; Bonet, M. Luisa; Giráldez-Crú, Jesús; Levy, Jordi CSIC ORCID | comunicación de congreso | |
openAccess | 23-oct-2019 | Phase Transition in Realistic Random SAT Models | Ansotegui, Carlos; Bonet, M. Luisa; Levy, Jordi CSIC ORCID | comunicación de congreso |