About:
http://dbpedia.org/resource/Boolean_satisfiability_problem/doi-inline2
An Entity in Data Space:
dbpedia.org
Property
Value
dbpprop:
doiInlineProperty
10.1145/368273.368557
A Machine Program for Theorem-Proving
dbpprop:
wikiPageUsesTemplate
dbpedia
:Template:doi-inline
is
dbpprop:
relatedInstance
of
dbpedia
:Boolean_satisfiability_problem