Browse by Title

30 items found

Showing titles from 25 to 30:

  1  2   
FormatDateTitleAuthor
FormatDateTitleAuthor
out url icon Recercat Solving constraint satisfaction problems with SAT modulo theories Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2013 January 1 Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
out url icon Recercat Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2003 June Traductor de pseudocodi a Java Roy√°n Salvatella, Carles
out url icon Recercat Traductor de pseudocodi a Java Roy√°n Salvatella, Carles
  1  2   

Subjects

Authors