QBF with Soft Variables.

Sven Reimer Matthias Sauer Paolo Marin Bernd Becker

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2014)

Keyphrases

universally quantified
variable selection
boolean formula
quantified boolean formulas
relevant variables
search algorithm
real time
orders of magnitude
random variables
causal relationships