L'activitat d'aquest grup es centra en la modelització lógico-matemàtica del raonament i en el disseny d'algorismes per a la resolució de problemes basats en restriccions en satisfactibilitat.

Projectes actuals
  • Enhanced data management techniques for real time logistics planning and scheduling
    abr. 2018 - abr. 2021
    (Main researcher:Jordi Levy)
  • RAzonamiento, Satisfacción y Optimización
    gen. 2016 - des. 2018
    (Main researcher:Lluís Godo)
Darreres notícies
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.

jul. 2017

For her thesis: "On modal expansions of t-norm based logics with rational constants", supervised by Félix Bou, Frances Esteva and Lluis Godo. The award ceremony will take place during the gala dinner, on September the 13th, 2017, of the forthcoming EUSFLAT 2017 Conference which will be held in Warsaw.