A Duality between Clause Width and Clause Density for SAT.

Chris Calabro Russell Impagliazzo Ramamohan Paturi A Duality between Clause Width and Clause Density for SAT. 252-260 2006 conf/coco/2006 IEEE Conference on Computational Complexity http://doi.ieeecomputersociety.org/10.1109/CCC.2006.6 db/conf/coco/coco2006.html#CalabroIP06