About: Satisfiability problems

Property	Value
rdf:type	skos:Concept
rdfs:label	Satisfiability problems
skos:broader	dbpedia:Category:Computational_problems
skos:prefLabel	Satisfiability problems
is skos:broader of	dbpedia:Category:SAT_solvers dbpedia:Category:SMT_solvers
is skos:subject 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