To access the full text documents, please follow this link: http://hdl.handle.net/10256/8405
dc.contributor.author | Bofill Arasa, Miquel |
---|---|
dc.contributor.author | Nieuwenhuis, Robert |
dc.contributor.author | Oliveras Llunell, Albert |
dc.contributor.author | Rodríguez Carbonell, Enric |
dc.contributor.author | Rubio, Albert |
dc.date | 2008 |
dc.identifier.citation | 978-1-4244-2736-9 (versió electrònica) |
dc.identifier.citation | 978-1-4244-2735-2 (versió paper) |
dc.identifier.citation | http://dx.doi.org/10.1109/FMCAD.2008.ECP.18 |
dc.identifier.uri | http://hdl.handle.net/10256/8405 |
dc.format | application/pdf |
dc.language.iso | eng |
dc.publisher | IEEE (Institute of Electrical and Electronics Engineers) |
dc.relation | Versió postprint del document publicat a: http://dx.doi.org/10.1109/FMCAD.2008.ECP.18 |
dc.relation | © Formal Methods in Computer-Aided Design, 2008. FMCAD '08, 2008, p.1-8 |
dc.relation | Articles publicats (D-IMA) |
dc.rights | Tots els drets reservats |
dc.subject | Algorismes computacionals |
dc.subject | Computer algorithms |
dc.subject | Models, Teoria dels |
dc.subject | Model theory |
dc.subject | Lògica matemàtica |
dc.subject | Logic, Symbolic and mathematical |
dc.subject | Matrius (Matemàtica) |
dc.subject | Matrices |
dc.title | A Write-Based Solver for SAT Modulo the Theory of Arrays |
dc.type | info:eu-repo/semantics/article |
dc.type | info:eu-repo/semantics/acceptedVersion |
dc.description.abstract |