WikicatSATSolvers

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

Property	Value
rdfs:subClassOf	yago:ProblemSolver110458111
owl:equivalentClass	yago-res:wikicat_SAT_solvers
is rdf:type of	dbr:Satz_(SAT_solver) dbr:GRASP_(SAT_solver) dbr:Chaff_algorithm

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