Llistar TÃtols
S'han trobat 3 Ãtems
Llistant Ãtems des de 0 a 3:
| Format | Data | TÃtol | Autor |
|---|
| Format | Data | TÃtol | Autor |
|---|
|
|
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
|
