TQBF

AcronymDefinition
TQBFTrue Quantified Boolean Formula