Stefan Boettcher, Gabriel Istrate, Allon G. Percus. Spines of Random Constraint Satisfaction Problems: Definition and Impact on Computational Complexity. In International Symposium on Artificial Intelligence and Mathematics (AI&M 2004), Fort Lauderdale, Florida, USA, January 4-6, 2004. 2004. [doi]
Abstract is missing.