Reimer, S.; Sauer, M.; Marin, P.; Becker, B. QBF With Soft Variables. eceasst 2014, 70.