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

카테고리:

satisfiabilitydecision problem