SW Algorithms and Tools for Constraint Solving


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

Mikolas Janota

Pedro Tiago Gonçalves Monteiro

Parent Lab

Embedded Electronic Systems (EES)

Administrative Support

Ana Maria Nuno de Jesus Reis