Finding exact solutions for multi-objective optimisation problems using a symbolic algorithm | IEEE Conference Publication | IEEE Xplore