S. Reimer, M. Sauer, P. Marin, and B. Becker, “QBF with Soft Variables”, eceasst, vol. 70, Nov. 2014.