About: DPLL(T)

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

Algorithm to solve SMT problems

Property	Value
dbo:description	algorithm to solve SMT problems (en)
dbo:wikiPageWikiLink	dbr:Satisfiability_modulo_theories dbr:Microsoft dbc:Automated_theorem_proving dbr:Boolean_satisfiability_problem dbr:Solver dbc:Constraint_programming dbc:SAT_solvers dbr:DPLL_algorithm dbr:Z3_Theorem_Prover dbr:Logical_theory
dbp:wikiPageUsesTemplate	dbt:Comp-sci-theory-stub dbt:Reflist dbt:Short_description
dct:subject	dbc:Automated_theorem_proving dbc:Constraint_programming dbc:SAT_solvers
rdf:type	dbo:Algorithm
rdfs:label	DPLL(T) (en)
owl:sameAs	wikidata:DPLL(T) dbpedia-global:DPLL(T)
prov:wasDerivedFrom	wikipedia-en:DPLL(T)?oldid=1252783928&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:DPLL(T)
is dbo:wikiPageWikiLink of	dbr:Satisfiability_modulo_theories dbr:DPLL_algorithm
is foaf:primaryTopic of	wikipedia-en:DPLL(T)

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International