This HTML5 document contains 39 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-globalhttps://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

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