true quantified Boolean formula

problem of deciding the satisfiability of a true quantified Boolean formula

en-GB/ˈtɹuː ˈkwɒntɪfaɪd buːliːn ˈfɔːmjʊlə/
en-US/ˈtɹu ˈkwɑntɪˌfaɪd ˈbuˌliɑn ˈfɑɹmjələ/

หมวดหมู่:

satisfiabilitydecision problem