Course 15 A hike in the phases of the 1-in-3 satisfiability | Publicación