SW Algorithms and Tools for Constraint Solving

Objectives

The long term objectives of the research group are:

- integer linear programming algorithms

- discrete optimization algorithms and their applications

- propositional satisfiability algorithms

- algorithms for computational biology and bioinformatics

- applications of discrete optimization in electronic design automation

- formal verification of digital systems and digital system testing.

Group Coordinator

Pedro Tiago Gonçalves Monteiro

Maria Inês Camarate de Campos Lynce de Faria

Parent Lab

Embedded Electronic Systems (EES)

Administrative Support

Ana Maria Nuno de Jesus Reis