Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
closedAccess | | 23-oct-2013 | A Max-SAT-Based Approach to Constructing Optimal Covering Arrays | Ansotegui, Carlos; Izquierdo, Idelfonso; Manyà, Felip CSIC ORCID ; Torres-Jimenez, Jose | comunicación de congreso |
openAccess | | 11-jul-2010 | A New Algorithm for Weighted Partial MaxSAT | Ansotegui, Carlos; Bonet, María Luisa; Levy, Jordi CSIC ORCID | comunicación de congreso |
closedAccess | | 2016 | Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers | Ansotegui, Carlos; Bofill, Miquel; Manyà, Felip CSIC ORCID ; Villaret, Mateu | artículo |
openAccess | | 2019 | Community structure in industrial SAT instances | Ansotegui, Carlos; Bonet, M. Luisa; Levy, Jordi CSIC ORCID ; Simon, Laurent | artículo |
closedAccess | | 2018 | Exploiting moral values to choose the right norms | Serramia, Marc CSIC ORCID ; López-Sánchez, Maite CSIC ORCID ; Rodríguez-Aguilar, Juan Antonio CSIC ORCID CVN ; Morales, Javier; Wooldridge, Michael; Ansotegui, Carlos | comunicación de congreso |
closedAccess | | 2007 | Exploiting multivalued knowledge in variable selection heuristics for SAT solvers | Ansotegui, Carlos; Larrubia, Jose; Li, Chumin; Manyà, Felip CSIC ORCID | artículo |
closedAccess | | 2016 | Exploiting subproblem optimization in SAT-based MaxSAT algorithms | Ansotegui, Carlos; Gabas, Joel; Levy, Jordi CSIC ORCID | artículo |
openAccess | | 16-sep-2013 | Improving WPM2 for (Weighted) Partial MaxSAT | Ansotegui, Carlos; Bonet, María Luisa; Gabas, Joel; Levy, Jordi CSIC ORCID | capítulo de libro |
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 |