Keyword:Stedman

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