Cygan, M., Kratsch, S., & Nederlof, J. (2018). Fast Hamiltonicity Checking Via Bases of Perfect Matchings. Journal of the ACM, 65(3): 12. doi:10.1145/3148227.