It is also known as QSAT (Quantified SAT).
この言語はQSAT(量化されたSAT, Quantified SAT)としても知られている。