Llistar Títols

S'han trobat 53 ítems

Llistant ítems des de 25 a 50:

  1  2  3   
FormatDataTítolAutor
FormatDataTítolAutor
doc icon DUGiDocs 1 gener 2015 Fuzzy XPath for the automatic search of fuzzy formulae models Almendros-Jiménez, Jesús M. ; Bofill Arasa, Miquel ; Luna-Tedesqui, Alejandro ; Moreno, Ginès ; Vàzquez, Carlos ; Villaret i Ausellé, Mateu
doc icon DUGiDocs juny 2006 Generador d’horaris d’un centre docent Villaret Lloret, Oriol
out url icon Recercat Generador d’horaris d’un centre docent Villaret Lloret, Oriol
out url icon Recercat 5 juny 2018 Higher-Order Pattern Anti-Unification in Linear Time Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu ​
doc icon DUGiDocs 1 febrer 2017 Higher-Order Pattern Anti-Unification in Linear Time Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
media icon DUGiMedia 19 novembre 2021 L’anàlisi de dades i l’optimització Martín, Josep Antoni ; Villaret i Ausellé, Mateu
out url icon Recercat 5 juny 2018 The RANTANPLAN planner: system description Bofill Arasa, Miquel ; Espasa, Joan ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 22 desembre 2016 The RANTANPLAN planner: system description Bofill Arasa, Miquel ; Espasa Arxer, Joan ; Villaret i Ausellé, Mateu
out url icon Recercat Reformulation of constraint models into SMT Palahí i Sitges, Miquel
doc icon DUGiDocs gener 2022 SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints Bofill Arasa, Miquel ; Coll Caballero, Jordi ; Nightingale, Peter ; Suy Franch, Josep ; Ulrich-Oltean, Felix ; Villaret i Ausellé, Mateu
doc icon TDX 20 desembre 2012 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 15 juliol 2019 Scheduling through logic-based tools Coll Caballero, Jordi
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 15 novembre 2018 SMT techniques for planning problems Espasa Arxer, Joan
doc icon DUGiDocs 1 setembre 2018 Snowman Editor : A level design tool for the game A Good Snowman Is Hard To Build Martin Teixidor, Gerard
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 1 gener 2013 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 juny 2015 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
  1  2  3   

Matèries

Autors