An Experimental Study of Permanently Stored Learned Clauses

Sima Jamali, David Mitchell

Modern CDCL SAT solvers learn clauses rapidly, and an important heuristic is the clause deletion scheme. Most current solvers have two (or more) stores of clauses. One has ``valuab…