Mission

La programmazione logica con vincoli costituisce il connubio vincente tra la lo stile di programmazione dichiarativo (codice semplice, estendibile, riutilizzabile) e l’efficienza delle tecniche più avanzate per la ricerca di soluzioni a problemi combinatorici, un tempo affrontabili unicamente mediante complesse codifiche in programmazione lineare intera o con approcci ad-hoc.

I membri del laboratorio hanno esperienza sia dal profilo fondazionale che applicato nell’area del logic e constraint programming. In particolare le tecniche sono state utilizzate proficuamente per risolvere problemi di diversa natura, quali ad esempio:

ENGLISH VERSION

Constraint Logic Programming is the result of the merging of two declarative programming paradigms that allows to encode problems with simple, reusable, and easy to extend programs and to exploit the efficiency of the most advanced techniques for solving combinatorial and optimization problems.

CLP Lab members have a wide experience either in theoretical foundations of logic and constraint programming or in practical application. For instance, they have widely used these techniques for facing the protein structure prediction problems and other bioinformatics problems; they have modeled and solved the problem  of optimal location of the sirens for high tide in Venice; they have developed the inferential engine of industrial configuration systems; and they are involved in several projects, such as the optimization of energy distribution in smart grids.

 

Comments are closed.