Listing items by Author "Rubio, Albert"
3 items found
Showing titles from 0 to 3:
| Format | Date | Title | Author |
|---|
| Format | Date | Title | Author |
|---|
|
|
Resource Analysis driven by (Conditional) Termination Proofs |
Albert, Elvira
; Bofill Arasa, Miquel
; Borralleras, Cristina
; MartÃn-MartÃn, Enrique
; Rubio, Albert
|
|
|
A Write-Based Solver for SAT Modulo the Theory of Arrays |
Bofill Arasa, Miquel
; Nieuwenhuis, Robert
; Oliveras Llunell, Albert
; RodrÃguez Carbonell, Enric
; Rubio, Albert
|
|
|
2008 |
A Write-Based Solver for SAT Modulo the Theory of Arrays |
Bofill Arasa, Miquel
; Nieuwenhuis, Robert
; Oliveras Llunell, Albert
; RodrÃguez Carbonell, Enric
; Rubio, Albert
|
