Failed Literal Detection for QBF