Browse by Title

44 items found

Showing titles from 0 to 25:

  1  2   
FormatDateTitleAuthor
FormatDateTitleAuthor
doc icon DUGiDocs 2016 September Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
out url icon Recercat Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
out url icon Recercat Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
out url icon Recercat 2018 June 1 Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem
out url icon Recercat 2018 June 5 Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
doc icon DUGiDocs 2011 Anti-Unification for Unranked Terms and Hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat Anti-Unification for Unranked Terms and Hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2014 February Anti-unification for unranked terms and hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat Anti-Unification for Unranked Terms and Hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat Anti-unification for unranked terms and hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat 2018 June 5 Anti-unification for unranked terms and hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2016 June 1 Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
out url icon Recercat Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2010 An Efficient Nominal Unification Algorithm Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat An Efficient Nominal Unification Algorithm Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat An Efficient Nominal Unification Algorithm Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat 2018 June 5 An Efficient Nominal Unification Algorithm Levy, Jordi ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2011 September Eina per a generar l’assignació docent d’un centre Vila i Moreno, Adrià
out url icon Recercat Eina per a generar l’assignació docent d’un centre Vila i Moreno, Adrià
doc icon DUGiDocs 2017 June Entorn de visualització i resolució de puzles tipus Cococrash Toledo Román, José Manuel
doc icon DUGiDocs 2009 Experimental analysis of optimization techniques on the road passenger transportation problem López Ibáñez, Beatriz ; Muñoz Solà, Víctor ; Murillo Espinar, Javier ; Barber, Federico ; Salido, Miguel A. ; Abril, Montserrat ; Cervantes, Mariamar ; Caro Pérez, Luis Fernando ; Villaret i Ausellé, Mateu
out url icon Recercat Experimental analysis of optimization techniques on the road passenger transportation problem López Ibáñez, Beatriz ; Muñoz Solà, Víctor ; Murillo Espinar, Javier ; Barber, Federico ; Salido, Miguel A. ; Abril, Montserrat ; Cervantes, Mariamar ; Caro Pérez, Luis Fernando ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2015 January 1 Fuzzy XPath for the automatic search of fuzzy formulae models Almendros-Jimenez, Jesùs M. ; Bofill Arasa, Miquel ; Luna-Tedesqui, Alejandro ; Moreno, Ginès ; Vàzquez, Carlos ; Villaret i Ausellé, Mateu
out url icon Recercat Fuzzy XPath for the automatic search of fuzzy formulae models Almendros-Jimenez, Jesùs M. ; Bofill Arasa, Miquel ; Luna-Tedesqui, Alejandro ; Moreno, Ginès ; Vàzquez, Carlos ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2006 June Generador d’horaris d’un centre docent Villaret Lloret, Oriol
  1  2   

Subjects

Authors