Towards Learned Clauses Database Reduction Strategies Based on Dominance Relationship

Jerry Lonlac, Engelbert Mephu Nguifo

Clause Learning is one of the most important components of a conflict driven clause learning (CDCL) SAT solver that is effective on industrial instances. Since the number of learne…