411 REFERENCE · Wiktionary
TQBF
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
Translingual
True quantified Boolean formula
Etymology
From mul en - True (or totally) quantified Boolean formula.
Symbol
mul 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.
See also
mul SAT