A more efficient algorithm for an NP-complete problem. - Pawel Kaftan (CoRR, 2014)