ProblemSolver110458111

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

Property	Value
rdfs:subClassOf	yago:Thinker110708454
owl:equivalentClass	yago-res:wordnet_problem_solver_110458111
is rdf:type of	dbr:Satz_(SAT_solver) dbr:GRASP_(SAT_solver) dbr:Chaff_algorithm dbr:Uclid
is rdfs:subClassOf of	yago:WikicatSATSolvers yago:WikicatSMTSolvers

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License