Reconstructing Solutions after Blocked Clause Elimination.

Matti Jrvisalo, Armin Biere

Browse the full SAT paper archive.