“…Unfortunately, these heuristic methods can be trapped into local minima and may lead to poor quality of the final solution. On the other hand, several exact and provable search algorithms which guarantee to find the GMEC solution have been proposed, such as Dead-End Elimination (DEE) [6], A* search [21,22,7,35], tree decomposition [32], branch-and-bound (BnB) search [14,31,3], and BnB-based linear integer programming [1,18].…”