This page shows all presentations of this author published in EasyChair Smart Slide.
Stedman and Erin Triples encoded as a SAT Problem
Andrew Johnson