A Hike in the Phases of the 1-in-3 Satisfiability | Publicación