HDD: hierarchical delta debugging
Reducibility Among Combinatorial Problems