On another note, I already have code to reduce SAT instances to HCP.
The latter - submitting for a conference - would prohibit me from profiting off it since I am depending on this for my rice bowl.
On another note, I already have code to reduce SAT instances to HCP.