• Home
  • true quantified Boolean formula

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

Categories:

satisfiabilitydecision problem