A Duality between Clause Width and Clause Density for SAT

21st Annual IEEE Conference on Computational Complexity (CCC'06) ◽

10.1109/ccc.2006.6 ◽

2006 ◽

Cited By ~ 26

Author(s):

C. Calabro ◽

R. Impagliazzo ◽

R. Paturi