TY  - RPRT
TI  - A Hike in the Phases of the 1-in-3 Satisfiability
AU  - Elitza Maneva
AU  - Talya Meltzer
AU  - Jack Raymond
AU  - Andrea Sportiello
AU  - Lenka Zdeborová
PY  - 2007
UR  - https://arxiv.org/abs/cond-mat/0702421
ID  - cond-mat/0702421
ER  -