TQBF
Translingual
editEtymology
editFrom English True (or totally) quantified Boolean formula.
Symbol
editTQBF
- (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.