DUGiDocs
Lang
català
español
English
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Sign in
UdG users
UdG identification
External users
Reset Password
Search this collection
Recerca
Departament d'In...
Articles publica...
Browsing Articles publicats (D-IMAE) by Subject
Browsing Articles publicats (D-IMAE) by Subject "Matrices"
Now showing items 1-1 of 1
A Write-Based Solver for SAT Modulo the Theory of Arrays
2008
Article
Bofill Arasa, Miquel
Nieuwenhuis, Robert
Oliveras Llunell, Albert
Rodríguez Carbonell, Enric
et al.
Now showing items 1-1 of 1
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
idioma
català
español
English
Contacte
Avís Legal
DUGiDocs