Browse by Title

33 items found

Showing titles from 25 to 33:

  1  2   
FormatDateTitleAuthor
FormatDateTitleAuthor
out url icon Recercat SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
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 2012 Solving constraint satisfaction problems with SAT modulo theories 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 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
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
doc icon DUGiDocs 2024 September Tuning a generative language model for the creation of customized chatbots for Public administrations Mas Fullana, Martí
  1  2   

Subjects

Authors