Augmenting Clause Learning with Implied Literals - (Poster Presentation).

Arie Matsliah, Ashish Sabharwal, Horst Samulowitz

Browse the full SAT paper archive.