Keyword:Stedman Triples

Papers
Stedman and Erin Triples encoded as a SAT Problem Andrew Johnson EasyChair Preprint no. 673