
Constraint Satisfaction / Combinatorial Optimisation
Boolean Satisfiability
Machine Learning
Automated Algorithm Selection and Configuration
More at http://felixvuo.github.io
Phone: +44 (0)1904 325500
Office: CSE/108E-mail: Send e-mail using web form