Listing items by Author "Rubio, Albert"

3 items found

Showing titles from 0 to 3:

  1   
FormatDateTitleAuthor
FormatDateTitleAuthor
doc icon DUGiDocs Resource Analysis driven by (Conditional) Termination Proofs Albert, Elvira ; Bofill Arasa, Miquel ; Borralleras, Cristina ; Martín-Martín, Enrique ; Rubio, Albert
out url icon Recercat 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
doc icon DUGiDocs 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
  1   

Subjects

Authors