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://www.cs.princeton.edu/~arora/pubs/aroracom.ps http://people.cs.uchicago.edu/~fortnow/beatcs/column80.pdf http://fmv.jku.at/qbf15/ http://research.microsoft.com/users/lintaoz/thesis_lintao_zhang.pdf
dbo:wikiPageWikiLink	dbr:Henkin_quantifier dbr:Bound_variable dbr:Strongly_connected_component dbr:Turing_machine dbr:Abstract_syntax_tree dbr:Skolem_normal_form dbr:Game_theory dbr:PSPACE dbr:Computational_complexity_theory dbr:Formal_language dbr:Model_checking dbr:Nondeterministic_finite_automaton dbr:Boolean_satisfiability_problem dbr:Universal_quantification dbr:IP_(complexity) dbr:Complexity_class dbr:Reactive_synthesis dbr:Big_O_notation dbr:Free_variables_and_bound_variables dbr:Prenex_normal_form dbr:Planar_SAT dbr:Interactive_proof_system dbr:Polynomial_hierarchy dbr:DPLL_algorithm dbr:Generalized_geography dbr:Conjunctive_normal_form dbr:Cook–Levin_theorem dbr:NP-completeness dbr:Propositional_logic dbr:Implication_graph dbr:PH_(complexity) dbc:Boolean_algebra dbr:Alternating_Turing_machine dbr:Truth_value dbr:Probabilistic_Turing_machine dbr:2-satisfiability dbr:Existential_quantification dbr:PSPACE-complete dbr:Linear_temporal_logic dbr:Formal_equivalence_checking dbr:Two-player_game dbr:Formula_game dbc:Satisfiability_problems dbr:Geography_(game) dbc:PSPACE-complete_problems dbr:NP-complete dbr:Quantification_(logic) dbr:MA_(complexity) dbr:Big-o_notation dbr:AP_(complexity) dbr:Non-deterministic_Turing_machine dbr:Linear_time dbr:PSPACE-hard dbr:Complete_problem dbr:Polynomial-time_many-one_reduction dbr:Winning_strategy
dbp:wikiPageUsesTemplate	dbt:Not_in_ref dbt:Citation_needed dbt:Clarify dbt:Expand_section dbt:Mvar dbt:Original_research_section dbt:Redirect dbt:Short_description dbt:Weasel_inline
dct:subject	dbc:Boolean_algebra dbc:Satisfiability_problems dbc:PSPACE-complete_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-es:True quantified Boolean formula dbpedia-tr:True quantified Boolean formula dbpedia-fr:True quantified Boolean formula dbpedia-he:True quantified Boolean formula dbpedia-ja:True quantified Boolean formula dbpedia-pt:True quantified Boolean formula dbpedia-pt:True quantified Boolean formula dbpedia-global:True quantified Boolean formula
prov:wasDerivedFrom	wikipedia-en:True_quantified_Boolean_formula?oldid=1306005125&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:True_Quantified_Boolean_Formula dbr:True_quantified_boolean_formula dbr:TQBF
is dbo:wikiPageWikiLink of	dbr:Nondeterministic_constraint_logic dbr:Stefan_Szeider dbr:NP-hardness dbr:Generalized_geography dbr:Hex_(board_game) dbr:2-satisfiability dbr:CUSAT_(disambiguation) dbr:Outline_of_logic dbr:Go_and_mathematics dbr:Formula_game dbr:Glossary_of_artificial_intelligence dbr:QBF dbr:QSAT dbr:Quantified_Boolean_formula dbr:Quantified_Boolean_formula_problem dbr:Quantified_boolean_formula dbr:Quantified_boolean_formula_problem dbr:True_Quantified_Boolean_Formula dbr:True_quantified_boolean_formula dbr:TQBF
is foaf:primaryTopic of	wikipedia-en:True_quantified_Boolean_formula