Cayley graphs of order 8pq are hamiltonian

Abstract

We give a computer-assisted proof that if $G$ is a finite group of order $8pq$, where $p$ and $q$ are distinct primes, then every connected Cayley graph on $G$ has a hamiltonian cycle.

23 pages. GAP computer programs in the ancillary files directory. v2: updated the url of the source code