|title:||Multi-objective optimization of bandwidth, span and wavefront.|
|keywords:||bandwidth span wavefront|
|topics:||Algorithms and Data Structures|
Jaco van de Pol
|type:||TI Bachelor project|
Recently  we have shown that well known metrics and algorithms used in sparse matrix solvers can be applied in the context of software verification. An interesting continuation of this study is to find out if Multi-object optimization can be applied to reduce bandwidth, span and wavefront. A recent overview on bandwidth reduction  provides some pointers to meta heuristic algorithms. Furthermore a good starting point for an implementation is Mathlab:
The goal of the research is to find out how wel Multi-objective optimization can be applied in the context of symbolic reachability analysis. Hopefully the algorithms produced in this research outperform currently implemented algorithms in LTSmin .