Coverage-Based Clause Reduction Heuristics for CDCL Solvers.

Hidetomo Nabeshima, Katsumi Inoue

Browse the full SAT paper archive.