Intensification Search in Modern SAT Solvers - (Poster Presentation).

Sad Jabbour, Jerry Lonlac, Lakhdar Sas

Browse the full SAT paper archive.