About: Conflict-driven clause learning

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

SAT solving algorithm

Property	Value
dbo:description	SAT solving algorithm (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Cdcl2.png?width=300
dbo:wikiPageExternalLink	https://www.princeton.edu/~chaff/publication/DAC2001v56.pdf http://www.mimuw.edu.pl/~tsznuk/tmp/dpll.pdf
dbo:wikiPageWikiLink	dbr:Implication_graph dbc:Satisfiability_problems dbr:Logical_conjunction dbr:Computer_science dbr:Negation dbr:Boolean_satisfiability_problem dbr:Conjunctive_normal_form dbr:Brute-force_search dbc:SAT_solvers dbr:DPLL_algorithm dbr:State_space_search dbr:Davis–Putnam_algorithm dbr:Disjunction
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Main dbt:Reflist dbt:Cite_journal dbt:Expand_section dbt:Unreferenced_section dbt:Citation_needed dbt:Short_description
dct:subject	dbc:Satisfiability_problems dbc:SAT_solvers
rdfs:label	Conflict-driven clause learning (en) Алгоритм CDCL (ru)
owl:sameAs	wikidata:Conflict-driven clause learning dbpedia-ru:Conflict-driven clause learning dbpedia-global:Conflict-driven clause learning
prov:wasDerivedFrom	wikipedia-en:Conflict-driven_clause_learning?oldid=1287689647&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Cdcl1.png wiki-commons:Special:FilePath/Cdcl10.png wiki-commons:Special:FilePath/Cdcl11.png wiki-commons:Special:FilePath/Cdcl12.png wiki-commons:Special:FilePath/Cdcl13.png wiki-commons:Special:FilePath/Cdcl14.png wiki-commons:Special:FilePath/Cdcl15.png wiki-commons:Special:FilePath/Cdcl2.png wiki-commons:Special:FilePath/Cdcl3.png wiki-commons:Special:FilePath/Cdcl4.png wiki-commons:Special:FilePath/Cdcl5.png wiki-commons:Special:FilePath/Cdcl6.png wiki-commons:Special:FilePath/Cdcl7.png wiki-commons:Special:FilePath/Cdcl8.png wiki-commons:Special:FilePath/Cdcl9.png wiki-commons:Special:FilePath/compareCdcl_dpll1.png wiki-commons:Special:FilePath/compareCdcl_dpll2.png
foaf:isPrimaryTopicOf	wikipedia-en:Conflict-driven_clause_learning
is dbo:wikiPageRedirects of	dbr:Conflict-Driven_Clause_Learning dbr:Conflict_Driven_Clause_Learning dbr:CDCL
is dbo:wikiPageWikiLink of	dbr:Symbolic_artificial_intelligence dbr:Proof_complexity dbr:SAT_solver dbr:Boolean_satisfiability_problem dbr:Conflict-Driven_Clause_Learning dbr:Conflict_Driven_Clause_Learning dbr:CDCL
is foaf:primaryTopic of	wikipedia-en:Conflict-driven_clause_learning