About: Satisfiability problems

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

Property	Value
dbo:wikiPageID	8170427 (xsd:integer)
dbo:wikiPageRevisionID	835622903 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons_category
rdf:type	skos:Concept
rdfs:label	Satisfiability problems (en)
skos:broader	dbc:Automated_theorem_proving dbc:Computational_problems dbc:Formal_methods
skos:prefLabel	Satisfiability problems (en)
prov:wasDerivedFrom	wikipedia-en:Category:Satisfiability_problems?oldid=835622903&ns=14
is dbo:wikiPageWikiLink of	dbr:MAX-3SAT dbr:Alloy_(specification_language) dbr:Not-all-equal_3-satisfiability dbr:Relaxed_intersection dbr:Conflict-driven_clause_learning dbr:Horn-satisfiability dbr:Maximum_satisfiability_problem dbr:Formula_game dbr:2-satisfiability dbr:Boolean_satisfiability_problem dbr:Planar_SAT dbr:SAT_solver dbr:Satisfiability_modulo_theories dbr:Sharp-SAT dbr:True_quantified_Boolean_formula
is dcterms:subject of	dbr:MAX-3SAT dbr:Alloy_(specification_language) dbr:Not-all-equal_3-satisfiability dbr:Relaxed_intersection dbr:Conflict-driven_clause_learning dbr:Horn-satisfiability dbr:Maximum_satisfiability_problem dbr:Formula_game dbr:2-satisfiability dbr:Boolean_satisfiability_problem dbr:Planar_SAT dbr:SAT_solver dbr:Satisfiability_modulo_theories dbr:Sharp-SAT dbr:True_quantified_Boolean_formula
is skos:broader of	dbc:SMT_solvers dbc:SAT_solvers

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