Skip to content
Vinony
English
EnglishDeutschEspañolFrançaisItalianoPortuguêsTürkçe日本語
EntityQ1350285· pop 9· linked from 27 articles

true quantified Boolean formula

Sign in to save

Also known as QSAT, TQBF, Quantified SAT

problem of deciding the satisfiability of a true quantified Boolean formula

Wikidata facts

Instance of
decision problem
Sources (2)

via Wikidata · CC0

Available in 9 languages

via Wikidata sitelinks · CC0