An exact algorithm for the Partition Coloring Problem. (April 2018)