|
|
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
|
|
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
|
2018 June 1 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
|
|
|
2018 June 5 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
2016 September |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
|
2020 February 15 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
|
2011 |
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
|
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
2014 February |
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
|
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
|
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
2018 June 5 |
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
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
|
|
|
|
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers |
Ansótegui, Carlos
; Bofill Arasa, Miquel
; Manyà, Felip
; Villaret i Ausellé, Mateu
|
|
|
2010 |
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
|
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
|
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
2018 June 5 |
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
2011 September |
Eina per a generar l’assignació docent d’un centre |
Vila i Moreno, Adrià
|
|
|
|
Eina per a generar l’assignació docent d’un centre |
Vila i Moreno, Adrià
|
|
|
2017 June |
Entorn de visualització i resolució de puzles tipus Cococrash |
Toledo Román, José Manuel
|
|
|
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
|
|
|
|
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
|
|
|
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
|
|
|
|
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
|
