Constraint Satisfaction & Optimisation
+
Computational Finance