Browse by Title

44 items found

Showing titles from 25 to 44:

  1  2   
FormatDateTitleAuthor
FormatDateTitleAuthor
out url icon Recercat Generador d’horaris d’un centre docent Villaret Lloret, Oriol
out url icon Recercat 2018 June 5 Higher-Order Pattern Anti-Unification in Linear Time Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu ​
out url icon Recercat 2018 June 5 The RANTANPLAN planner: system description Bofill Arasa, Miquel ; Espasa, Joan ; Villaret i Ausellé, Mateu
out url icon Recercat Reformulation of constraint models into SMT Palahí i Sitges, Miquel
doc icon TDX 2012 December 20 A satisfiability modulo theories approach to constraint programming Suy Franch, Josep
out url icon Recercat A satisfiability modulo theories approach to constraint programming Suy Franch, Josep
doc icon DUGiDocs 2009 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 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 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
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 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 2015 June Tracejador Interactiu de Lambda-Càlcul Web – TILC(W) Gallart Garangou, Oriol
out url icon Recercat Tracejador Interactiu de Lambda-Càlcul Web – TILC(W) Gallart Garangou, Oriol
doc icon DUGiDocs 2013 A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat 2018 June 5 A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
  1  2   

Subjects

Authors