QBF

QBF
Query By Form

Acronyms. 2013.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • QBF — In der Komplexitätstheorie ist das Erfüllbarkeitsproblem für quantifizierte boolesche Formeln (oft nur kurz QBF oder QSAT) eine Verallgemeinerung des Erfüllbarkeitsproblems der Aussagenlogik. Es untersucht, ob eine mit Quantoren versehene… …   Deutsch Wikipedia

  • QBF — Query By Form (Computing » General) * Are you flying in a cloud? (Governmental » Transportation) …   Abbreviations dictionary

  • QBF — ● ►en sg. f. ►BASDON Query By Form. requête définie par un formulaire. Voir aussi QBE …   Dictionnaire d'informatique francophone

  • QBF — Query By Form …   Acronyms von A bis Z

  • QBF — abbr. Query By Form …   Dictionary of abbreviations

  • QBF — abbr. Query By Forms (DB) comp. abbr. Query by Form …   United dictionary of abbreviations and acronyms

  • True quantified Boolean formula — The language TQBF is a formal language in computer science that contains True Quantified Boolean Formulas. A fully quantified boolean formula is a formula in first order logic where every variable is quantified (or bound), using either… …   Wikipedia

  • PSPACE-complete — Mathematicians and computer scientists try to carefully define different types of complexity, and PSPACE complete is one of these types.Roughly, PSPACE is all the problems which can be solved by programs which only need a polynomial (in the… …   Wikipedia

  • Erfüllbarkeitsproblem — Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von engl. satisfiability) ist ein Entscheidungsproblem. Es fragt, ob eine aussagenlogische Formel erfüllbar ist. Anwendungen finden sich unter anderem in der Komplexitätstheorie, Verifikation und… …   Deutsch Wikipedia

  • HORNSAT — Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von engl. satisfiability) ist ein Entscheidungsproblem. Es fragt, ob eine aussagenlogische Formel erfüllbar ist. Anwendungen finden sich unter anderem in der Komplexitätstheorie, Verifikation und… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”