Author:Andrew Johnson

Publications
Stedman and Erin Triples encoded as a SAT Problem Andrew Johnson EasyChair Preprint 673

Keyphrases

bobs-only, Boolean satisfiability, Campanology, change ringing, Erin, Erin Triples, Hamiltonian cycle, HCP, LFSR, Linear Feedback Shift Register, SAT, SAT solver, Stedman, Stedman Triples.