Author: Matt Mayo Editor
Seeking an enthusiastic researcher with solid skills in any of the following areas: constraint programming, mixed integer programming, SAT and SAT modulo theories, modelling languages and program analysis, to join an established team working on new approaches to modelling and solving discrete optimisation problems.