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

The Group in 2011/12

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