true quantified Boolean formula
Sign in to saveAlso known as QSAT, TQBF, Quantified SAT
problem of deciding the satisfiability of a true quantified Boolean formula
Also known as QSAT, TQBF, Quantified SAT
problem of deciding the satisfiability of a true quantified Boolean formula