Branch-and-reduce exponential/FPT algorithms in practice: A case study of vertex cover - Akiba, Takuya; Iwata, Yoichi (Theoretical computer science, 2016)
Keywords: Algorithms; Branch-and-reduce; Complexity; Empirical analysis; Exact exponential algorithms; FPT algorithms; Reduction; State of the art; Vertex cover; Vertex cover; Exact exponential algorithms; Branch-and-reduce; FPT algorithms