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.