TQBF
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.