KSL-05-10 + redirect page
The Role of Redundant Clauses in Solving Satisfiability Problems + Has identifier
The Role of Redundant Clauses in Solving Satisfiability Problems + Ksl tr id
| The Role of Redundant Clauses in Solving Satisfiability Problems |
Bibtype
inproceedings
Has publishing details
October,2005
Has title
The Role of Redundant Clauses in Solving Satisfiability Problems
Has where published
(extended abstract), CP-2005 (the Eleventh International Conference on Principles and Practice of Constraint Programming)
Has year
2005
Title
The Role of Redundant Clauses in Solving Satisfiability Problems
Year
2005
Abstract
In this paper, we introduce the notion of … In this paper, we introduce the notion of redundant clauses to characterize the structure of SAT instances. We identify several interesting features of redundant clauses that provide compelling evidence of the correlation between the percentage of redundant clauses and the hardness of instances. We propose a definition of weighted clause-to-variable ratio (WCV), which substantially improves the classic clause-to-variable (m/n) ratio in predicting search cost and explaining phase phenomenon. arch cost and explaining phase phenomenon.
Address
Barcelona, Spain. +
Author
Honglei Zeng and Sheila A. McIlraith +
Booktitle
(extended abstract), CP-2005 (the Eleventh International Conference on Principles and Practice of Constraint Programming) +
Has author
Honglei Zeng and Sheila A. McIlraith +
Has identifier
The Role of Redundant Clauses in Solving Satisfiability Problems +
Ksl tr id
The Role of Redundant Clauses in Solving Satisfiability Problems +
Month
October +
Process note
NO +
Categories InProceedings +, KSL Technical Report +, Publication +
|
