Project Level: Honours, Masters

There have been significant recent advances in broadly available constraint programming tools, most notably in Google OR-Tools.  This project will investigate when and where these tools perform better than Integer Programming.  Possible problems to investigate include (but are not restricted to) job scheduling problems, certain graph design problems and dominating set problems.

Project members

Dr Michael Forbes

Senior Lecturer
Senior Lecturer
School of Mathematics and Physics