2IMA25 (2017-GS4) Exact Algorithms for NP-hard Problems