About: Nondeterministic constraint logic

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

Combinatorial reconfiguration problem

Property	Value
dbo:description	combinatorial reconfiguration problem (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Constraint_logic_and_gate.gif?width=300
dbo:wikiPageWikiLink	dbc:Computational_problems_in_graph_theory dbr:Undirected_graph dbr:True_quantified_Boolean_formula dbr:Quantifier_(logic) dbr:Sliding_puzzle dbr:Erik_Demaine dbc:PSPACE-complete_problems dbc:Logical_calculi dbr:Vertex_cover dbr:Independent_set_(graph_theory) dbr:Game_complexity dbr:Rush_Hour_(puzzle) dbc:Reconfiguration dbr:Graph_bandwidth dbr:AND_gate dbr:OR_gate dbr:Theoretical_computer_science dbr:Reversible_computing dbr:3-CNF dbc:Reversible_computing dbr:PSPACE-complete dbr:Reduction_(complexity) dbr:Cubic_graph dbr:Dominating_set dbr:Sokoban dbr:Boolean_logic dbr:Orientation_(graph_theory) dbr:Planar_graph dbr:Gadget_(computer_science) dbr:Reconfiguration dbr:Rush_Hour_(board_game) dbr:QSAT dbr:File:Constraint_logic_and_gate.gif dbr:File:Constraintgraph.png dbr:Sliding_block_puzzle
dbp:cs1Dates	ly (en)
dbp:date	July 2024 (en)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:CS1_config dbt:Use_mdy_dates dbt:Mvar dbt:Short_description
dct:subject	dbc:Computational_problems_in_graph_theory dbc:PSPACE-complete_problems dbc:Logical_calculi dbc:Reconfiguration dbc:Reversible_computing
rdfs:label	Nondeterministic constraint logic (en) Logique contrainte (fr)
owl:sameAs	yago-res:Nondeterministic constraint logic wikidata:Nondeterministic constraint logic dbpedia-fr:Nondeterministic constraint logic dbpedia-global:Nondeterministic constraint logic
prov:wasDerivedFrom	wikipedia-en:Nondeterministic_constraint_logic?oldid=1292971182&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Constraint_logic_and_gate.gif wiki-commons:Special:FilePath/Constraintgraph.png
foaf:isPrimaryTopicOf	wikipedia-en:Nondeterministic_constraint_logic
is dbo:wikiPageRedirects of	dbr:Constraint_logic_problem dbr:Constraint_Logic_Problem dbr:Constraint_Logic_Problem_(Complexity_Theory)
is dbo:wikiPageWikiLink of	dbr:Rush_Hour_(puzzle) dbr:PSPACE-complete dbr:Constraint_logic_problem dbr:Reconfiguration dbr:Games,_Puzzles,_and_Computation dbr:Constraint_Logic_Problem dbr:Constraint_Logic_Problem_(Complexity_Theory)
is foaf:primaryTopic of	wikipedia-en:Nondeterministic_constraint_logic