About:
http://dbpedia.org/resource/Boolean_satisfiability_problem/doi-inline10
An Entity in Data Space:
dbpedia.org
Property
Value
dbpprop:
doiInlineProperty
10.1109/TC.2006.175
B-Cubing: New Possibilities for Efficient SAT-Solving
dbpprop:
wikiPageUsesTemplate
dbpedia
:Template:doi-inline
is
dbpprop:
relatedInstance
of
dbpedia
:Boolean_satisfiability_problem