TQBF
Jump to navigation
Jump to search
Translingual[edit]
Etymology[edit]
From English True (or totally) quantified Boolean formula.
Symbol[edit]
TQBF
- (computing theory) The decision problem of, given a Boolean function f on n variables, deciding whether the following formula is satisfiable:
- Where is if n is even and if n is odd.