An improved exact algorithm for single-machine scheduling to minimise the number of tardy jobs with periodic maintenance. Issue 12 (17th June 2016)