(1)
Reimer, S.; Sauer, M.; Marin, P.; Becker, B. QBF With Soft Variables.
ECEASST
2014
,
70
.