Inês Lynce, João P. Marques Silva. Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study. In 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA. pages 246-251, IEEE Computer Society, 2004. [doi]
Abstract is missing.