Entailing Generalization Boosts Enumeration.

Dror Fried, Alexander Nadel, Roberto Sebastiani, Yogev Shalmon

Browse the full SAT paper archive.