About:
problem
An Entity in Data Space:
dbpedia.org
Property
Value
rdfs:
label
problem
rdfs:
subClassOf
http://dbpedia.org/class/yago/Problem114410605
is
rdf:
type
of
dbpedia
:Maximum_satisfiability_problem
dbpedia
:Boolean_satisfiability_problem
dbpedia
:True_quantified_Boolean_formula
dbpedia
:2-satisfiability
dbpedia
:Horn-satisfiability
dbpedia
:MAX-3SAT
dbpedia
:Satisfiability_Modulo_Theories
dbpedia
:One-in-three_3SAT
![[RDF Data]](/statics/sw-cube.png)
