Learning Back-Clauses in SAT - (Poster Presentation).

Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann

Browse the full SAT paper archive.