combinatorial optimization, discrete, formal methods, minimization, modelling, numerical methods, Operational Research, Optimization.
