Fast Hamiltonicity checking via bases of perfect matchings - Cygan, Marek; Kratsch, Stefan; Nederlof, Jesper (CoRR, 2012)