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.