Browse by Title

203 items found

Showing titles from 200 to 203:

  4  5  6  7  8  9   
FormatDateTitleAuthor
FormatDateTitleAuthor
media icon DUGiMedia 2010 April 22 Virtualitat real? Geometria virtual? Realitat computacional? Patow, Gustavo
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
  4  5  6  7  8  9   

Subjects

Authors