Takuya Akiba Yoichi Iwata Branch-and-Reduce Exponential/FPT Algorithms in Practice: A Case Study of Vertex Cover. 2014 abs/1411.2680 CoRR http://arxiv.org/abs/1411.2680 db/journals/corr/corr1411.html#AkibaI14
