Failed Literal Detection for QBF.

Florian Lonsing, Armin Biere

Browse the full SAT paper archive.