The Role of Redundant Clauses in Solving Satisfiability Problems.

Honglei Zeng, Sheila A. McIlraith

Browse the full CP paper archive.