EasyChair Smart Slide
Stedman and Erin Triples encoded as a SAT Problem
Stedman and Erin Triples encoded as a SAT Problem