Mostrando resultados 9 a 18 de 18
< Anterior
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
closedAccess | | 2018 | Moral Values in Norm Decision Making | Serramia, Marc CSIC ORCID ; López-Sánchez, Maite CSIC ORCID ; Rodríguez-Aguilar, Juan Antonio CSIC ORCID CVN ; Wooldridge, Michael; Morales, Javier; Ansotegui, Carlos | comunicación de congreso |
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 |
openAccess | | 2021 | Reducing SAT to Max2SAT | Ansotegui, Carlos; Levy, Jordi CSIC ORCID | comunicación de congreso |
closedAccess | | 2013 | Resolution procedures for multiple-valued optimization | Ansotegui, Carlos; Bonet, María Luisa; Levy, Jordi CSIC ORCID ; Manyà, Felip CSIC ORCID | artículo |
closedAccess | | 2015 | SAT and SMT technology for many-valued logics | Ansotegui, Carlos; Bofill, Miquel; Manyà, Felip CSIC ORCID ; Villaret, Mateu | artículo |
closedAccess | | 2013 | SAT-based MaxSAT algorithms | Ansotegui, Carlos; Bonet, María Luisa; Levy, Jordi CSIC ORCID | artículo |
closedAccess | | 2017 | Structure features for SAT instances classification | Ansotegui, Carlos; Bonet, María Luisa; Giráldez-Crú, Jesús | artículo |
openAccess | | 19-jul-2014 | The Fractal Dimension of SAT Formulas | Ansotegui, Carlos; Bonet, María Luisa; Giráldez-Crú, Jesús; Levy, Jordi CSIC ORCID | comunicación de congreso |
openAccess | | 24-sep-2015 | Using Community Structure to Detect Relevant Learnt Clauses | Ansotegui, Carlos; Giráldez-Crú, Jesús; Levy, Jordi CSIC ORCID ; Simon, Laurent | comunicación de congreso |