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