WikicatSatisfiabilityProblems

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

Property	Value
rdfs:subClassOf	yago:Problem114410605
owl:equivalentClass	yago-res:wikicat_Satisfiability_problems
is rdf:type of	dbr:MAX-3SAT dbr:Relaxed_intersection dbr:Horn-satisfiability dbr:Maximum_satisfiability_problem dbr:Formula_game dbr:2-satisfiability dbr:Boolean_satisfiability_problem dbr:Satisfiability_modulo_theories dbr:Alloy_Analyzer dbr:Sharp-SAT dbr:Conflict-Driven_Clause_Learning dbr:True_quantified_Boolean_formula

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