Chris Calabro, Russell Impagliazzo, Ramamohan Paturi. A Duality between Clause Width and Clause Density for SAT. In 21st Annual IEEE Conference on Computational Complexity (CCC 2006), 16-20 July 2006, Prague, Czech Republic. pages 252-260, IEEE Computer Society, 2006. [doi]
Abstract is missing.