papers
Publications (4)
math.CO2014
Enumeration of nonisomorphic Hamiltonian cycles on square grid graphs
Ed Wynn
cs.LO2018
A comparison of encodings for cardinality constraints in a SAT solver
Ed Wynn
math.CO2014
Exhaustive generation of `Mrs Perkins's quilt' square dissections for low orders
Ed Wynn
math.CO2012
Constructing circuit codes by permuting initial sequences
Ed Wynn