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