@misc{indiciae2d46e5d8cd9f,
  title = {A Hike in the Phases of the 1-in-3 Satisfiability},
  author = {Elitza Maneva and Talya Meltzer and Jack Raymond and Andrea Sportiello and Lenka Zdeborová},
  year = {2007},
  url = {https://arxiv.org/abs/cond-mat/0702421},
  note = {Source identifier: cond-mat/0702421}
}