Conditional Lower Bounds for Failed Literals and Related Techniques.

Matti Jrvisalo, Janne H. Korhonen

Browse the full SAT paper archive.