About: True quantified Boolean formula

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Problem of deciding the satisfiability of a true quantified Boolean formula

Property	Value
dbo:description	problem of deciding the satisfiability of a true quantified Boolean formula (en)
dbo:wikiPageExternalLink	http://www.qbflib.org http://research.microsoft.com/users/lintaoz/thesis_lintao_zhang.pdf http://www.cs.princeton.edu/~arora/pubs/aroracom.ps http://people.cs.uchicago.edu/~fortnow/beatcs/column80.pdf http://fmv.jku.at/qbf15/
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Implication_graph dbr:NP-completeness dbc:Boolean_algebra dbr:Abstract_syntax_tree dbr:Universal_quantification dbr:Two-player_game dbr:Cook–Levin_theorem dbc:PSPACE-complete_problems dbr:Propositional_logic dbr:PSPACE dbr:Polynomial_hierarchy dbc:Satisfiability_problems dbr:Free_variables_and_bound_variables dbr:Skolem_normal_form dbr:Formal_equivalence_checking dbr:Formula_game dbr:Big_O_notation dbr:Bound_variable dbr:Formal_language dbr:Nondeterministic_finite_automaton dbr:Probabilistic_Turing_machine dbr:Game_theory dbr:Truth_value dbr:Computational_complexity_theory dbr:Boolean_satisfiability_problem dbr:Complexity_class dbr:PSPACE-complete dbr:Strongly_connected_component dbr:Alternating_Turing_machine dbr:Conjunctive_normal_form dbr:Interactive_proof_system dbr:Prenex_normal_form dbr:Existential_quantification dbr:IP_(complexity) dbr:Turing_machine dbr:Linear_temporal_logic dbr:DPLL_algorithm dbr:2-satisfiability dbr:Geography_(game) dbr:Generalized_geography dbr:Henkin_quantifier dbr:MA_(complexity) dbr:Planar_SAT dbr:AP_(complexity) dbr:Reactive_synthesis dbr:NP-complete dbr:Linear_time dbr:Quantification_(logic) dbr:PH_(complexity) dbr:Non-deterministic_Turing_machine dbr:PSPACE-hard dbr:Big-o_notation dbr:Winning_strategy dbr:Complete_problem dbr:Polynomial-time_many-one_reduction
dbp:wikiPageUsesTemplate	dbt:Redirect dbt:Expand_section dbt:Clarify dbt:Weasel_inline dbt:Original_research_section dbt:Citation_needed dbt:Mvar dbt:Short_description dbt:Not_in_ref
dct:subject	dbc:Boolean_algebra dbc:PSPACE-complete_problems dbc:Satisfiability_problems
gold:hypernym	dbr:Language
rdfs:label	True quantified Boolean formula (en) Fórmula booleana cuantificada verdadera (es) Erfüllbarkeitsproblem für quantifizierte boolesche Formeln (de) Formule booléenne quantifiée (fr) TQBF問題 (ja) Fórmula booliana completamente quantificada (pt) Fórmula booliana totalmente quantificada (pt)
owl:sameAs	freebase:True quantified Boolean formula yago-res:True quantified Boolean formula wikidata:True quantified Boolean formula wikidata:True quantified Boolean formula dbpedia-de:True quantified Boolean formula dbpedia-fr:True quantified Boolean formula dbpedia-tr:True quantified Boolean formula dbpedia-ja:True quantified Boolean formula dbpedia-pt:True quantified Boolean formula dbpedia-pt:True quantified Boolean formula dbpedia-he:True quantified Boolean formula dbpedia-es:True quantified Boolean formula dbpedia-global:True quantified Boolean formula
prov:wasDerivedFrom	wikipedia-en:True_quantified_Boolean_formula?oldid=1296432403&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:True_quantified_Boolean_formula
is dbo:wikiPageRedirects of	dbr:QBF dbr:QSAT dbr:Quantified_Boolean_formula dbr:Quantified_Boolean_formula_problem dbr:Quantified_boolean_formula dbr:Quantified_boolean_formula_problem dbr:TQBF dbr:True_Quantified_Boolean_Formula dbr:True_quantified_boolean_formula
is dbo:wikiPageWikiLink of	dbr:Formula_game dbr:CUSAT_(disambiguation) dbr:Go_and_mathematics dbr:Hex_(board_game) dbr:NP-hardness dbr:Glossary_of_artificial_intelligence dbr:2-satisfiability dbr:Generalized_geography dbr:Stefan_Szeider dbr:Outline_of_logic dbr:Nondeterministic_constraint_logic dbr:QBF dbr:QSAT dbr:Quantified_Boolean_formula dbr:Quantified_Boolean_formula_problem dbr:Quantified_boolean_formula dbr:Quantified_boolean_formula_problem dbr:TQBF dbr:True_Quantified_Boolean_Formula dbr:True_quantified_boolean_formula
is foaf:primaryTopic of	wikipedia-en:True_quantified_Boolean_formula