- QBF
- ● ►en sg. f. ►BASDON Query By Form. requête définie par un formulaire. Voir aussi QBE.
Dictionnaire d'informatique francophone. 2013.
QBF
Regardez d'autres dictionnaires:
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 — Query By Form … Acronyms
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
