@misc{indiciae1286d2052838,
  title = {The Phase Diagram of 1-in-3 Satisfiability Problem},
  author = {Jack Raymond and Andrea Sportiello and Lenka Zdeborová},
  year = {2007},
  doi = {10.1103/physreve.76.011101},
  url = {https://arxiv.org/abs/cond-mat/0702610},
  note = {Source identifier: cond-mat/0702610}
}