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ə/

Kategoriler:

satisfiabilitydecision problem