• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

QBF with Soft Variables.

Sven ReimerMatthias SauerPaolo MarinBernd 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