Marco Correia


Knowledge-Based Systems

Country: Portugal

Affiliation: Faculdade de Ciências e Tecnologia, UNL



Marco Correia received its BSc, MSc and PhD degrees from Faculdade de Ciências e Tecnologia/Universidade Nova de Lisboa. His work mostly focus on design and implementation of Constraint Programming systems. He his the author and maintainer of CaSPER -, a highly optimized constraint solver for integer and set domains, and PROCURE, a probabilistic constraint solver for continuous domains. He is also interested on applications of constraint programming, namely to solve Bioinformatics, robotics, and more recently, transportation problems such as the TSP with time windows (, bus routing (, and pickup and delivery with time windows (

Project Highlights

  • No records found.

Publications Highlights

  • No records found.