Exact algorithms for single-machine scheduling problems with a variable maintenance. (August 2016)