Llistar Títols

S'han trobat 2 ítems

Llistant ítems des de 0 a 2:

  1   
FormatDataTítolAutor
FormatDataTítolAutor
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   

Matèries

Autors