]> 2012-02-11T07:23:36-05:00 The role of redundant clauses in solving satisfiability problems In this paper, we introduce the notion of redundant clauses tocharacterize the structure of SAT instances. We identify severalinteresting features of redundant clauses that provide compellingevidence of the correlation between the percentage of redundantclauses and the hardness of instances. We propose a definition ofweighted clause-to-variable ratio (WCV), which substantiallyimproves the classic clause-to-variable (m/n) ratio in predictingsearch cost and explaining phase phenomenon. inproceedings (extended abstract), CP-2005 (the Eleventh International Conference on Principles and Practice of Constraint Programming) KSL-05-10 The Role of Redundant Clauses in Solving Satisfiability Problems KSL-05-10 2005 Year Tr id Title Computer science Tag October Month Key Booktitle Bibtype Sheila A. McIlraith Honglei Zeng Author Barcelona, Spain. Address Abstract KSL Technical Report Publication Proceeding Paper