About: Boolean satisfiability algorithm heuristics

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

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:PCP_theorem dbr:Simulated_annealing dbc:Boolean_algebra dbr:Adjacency_matrix dbr:Optimization_problem dbr:Resolution_(logic) dbr:Heuristic dbr:Deterministic_algorithm dbr:Tseytin_transformation dbr:GSAT dbr:Depth-first_search dbr:Adjacency_list dbr:Boolean_satisfiability_problem dbr:Conjunctive_normal_form dbr:WalkSAT dbr:Randomized_algorithm dbr:DPLL_algorithm dbr:Circuit_satisfiability_problem dbr:NP-complete dbr:Maximum_satisfiability_problem dbr:Strongly_connected_components dbr:AI_planning dbr:Tractable_problem dbr:Conflict-Driven_Clause_Learning dbr:Greedy_algorithms dbr:2-SAT dbr:MAX-SAT dbr:Cache_locality dbr:Cache_misses
dbp:wikiPageUsesTemplate	dbt:Main dbt:Reflist dbt:Sfrac
dct:subject	dbc:Boolean_algebra
rdfs:label	Boolean satisfiability algorithm heuristics (en)
owl:sameAs	wikidata:Boolean satisfiability algorithm heuristics dbpedia-global:Boolean satisfiability algorithm heuristics
prov:wasDerivedFrom	wikipedia-en:Boolean_satisfiability_algorithm_heuristics?oldid=1281524715&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Boolean_satisfiability_algorithm_heuristics
is foaf:primaryTopic of	wikipedia-en:Boolean_satisfiability_algorithm_heuristics

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International