153
click to vote
CPAIOR
2007
Springer
16 years 1 days ago
2007
Springer
In this paper, we investigate to which extent the elimination of a class of redundant clauses in SAT instances could improve the efficiency of modern satisfiability provers. Sinc...