Efficient SAT Solving under Assumptions.

Alexander Nadel, Vadim Ryvchin

Browse the full SAT paper archive.