La actividad de este grupo se centra en la modelización lógico-matemática del razonamiento y en el diseño de algoritmos para la resolución de problemas basados en restricciones y en satisfactibilidad.

Proyectos actuales
  • Enhanced data management techniques for real time logistics planning and scheduling
    Jun 2018 - Mayo 2021
    (Main researcher:Jordi Levy)
  • RAzonamiento, Satisfacción y Optimización
    Ene 2016 - Dic 2019
    (Main researcher:Lluís Godo)
Últimas noticias
Feb 2019

El cómic "Lisa y Watson" de divulgación de la IA dirigido a estudiantes de primaria y secundaria, mencionado en el programa Lab24 de TVE


Mar 2018
The objective of this project is to allow effective planning and optimizing of transport operations in the supply chain by taking advantage of horizontal and vertical collaboration, relying on the increasingly real-time data gathered from the interconnected environment. For this, a real-time decision making tool and a real-time visualization tool of freight transport will be developed, with the purpose of delivering information and services to the various agents involved in the logistic supply chain, i.e. freight transport operators, their clients, industries and other stakeholders such as warehouse or infrastructure managers. LOGISTARS involves RTD organisations (DEUSTO, UCC, CSIC), technology developers (DUNAVNET, SWC), consultancy firms (MDST, PRESTON), ICT services developers (SAG, DBH, GESP) and stakeholders from different stages of the supply chain (AHLERS, ZAILOG, NESTLÉ). The duration of the project is estimated to be 36 months and has an approximate budget of 4.5 million euros.

Nov 2017

Hybrid metaheuristics in combinatorial optimization: A survey.
Blum, Christian, Jakob Puchinger, Günther R. Raidl, and Andrea Roli.
Applied Soft Computing 11, no. 6 (2011): 4135–4151.