I was searching for the same thing, and finally found a great reduction from Hamiltonian Cycle to 3-SAT. Enjoy!

https://opendsa-server.cs.vt.edu/ODSA/Books/Everything/html/threeSAT_to_hamiltonianCycle.html#:~:text=This%20slideshow%20explains%20the%20reduction%20%28in%20polynomial%20time%29,NP%20Completeness%20proof%20for%20the%20Hamiltonian%20Cycle%20problem.