DUGiDocs
Lang
català
español
English
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Sign in
UdG users
UdG identification
External users
Reset Password
Browsing by Author
Browsing by Author "Oliveras Llunell, Albert"
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
idioma
català
español
English
Contacte
Avís Legal