The activity of this group is centered around the logic and mathematic modelization of reasoning, and the design of algorithms for solving constraint-based problems and satisfiability.

Current projects
  • Enhanced data management techniques for real time logistics planning and scheduling
    Jun 2018 - May 2021
    (Main researcher:Jordi Levy)
  • RAzonamiento, Satisfacción y Optimización
    Jan 2016 - Dec 2019
    (Main researcher:Lluís Godo)
Latest News
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.