English
español
Navegación por Autor Bofill, Miquel
Mostrando resultados 1 a 6 de 6
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
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 | | 18-may-2015 | Finding Hard Instances of Satisfiability in Lukasiewicz Logics | Bofill, Miquel; Manyà, Felip CSIC ORCID ; Vidal, Amanda; Villaret, Mateu | comunicación de congreso |
openAccess | | abr-2019 | New complexity results for Lukasiewicz logic | Bofill, Miquel; Manyà, Felip CSIC ORCID ; Vidal, Amanda; Villaret, Mateu | 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 | | 2017 | Surviving on the isle of Formentera (Balearic Islands): Adaptation of economic behaviour by Bronze Age first settlers to an extreme insular environment | Sureda, Pau CSIC ORCID ; Camarós, Edgard; Cueto, Marian; Teira, Luis; Aceituno, Francisco José CSIC ORCID; Albero Santacreu, Daniel; Álvarez-Fernández, E.; Bofill, Miquel; López-Dóriga, Inés; Marín, Dioscórides; Masclans, Alba CSIC ORCID CVN; Picornell, Llorenç; Revelles, Jordi; Burjachs, Francesc | artículo |
openAccess | | 2015 | The Complexity of 3-Valued Lukasiewicz Rules | Bofill, Miquel; Manyà, Felip CSIC ORCID ; Vidal, Amanda; Villaret, Mateu | comunicación de congreso |