Skip to search formSkip to main contentSkip to account menu

Conflict-Driven Clause Learning

Known as: CDCL, Conflict Driven Clause Learning 
In computer science, Conflict-Driven Clause Learning (CDCL) is an algorithm for solving the Boolean satisfiability problem (SAT). Given a Boolean… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Boolean satisfiability problemBrute-force searchComputer scienceConjunctive normal form

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2021
2021
Using Algorithm Configuration Tools to Generate Hard SAT Benchmarks
Algorithm configuration tools have been successfully used to speed up local search satisfiability (SAT) solvers and other… 
2017
2017
PROCESS FOR LARGE-SCALE PRODUCTION OF CDTE/CDS THIN FILM SOLAR CELLS FIELD OF THE INVENTION
  • 2017
  • Corpus ID: 174777619
A process for large-scale production of CdTe/CdS thin film Solar cells, films of the cells being deposited, in Sequences on a… 
2014
2014
Conflict-Driven XOR-Clause Learning (extended version)
Modern conflict-driven clause learning (CDCL) SAT solvers are very good in solving conjunctive normal form (CNF) formulas… 
Review
2013
Review
2013
On the Interpolation between Product-Based Message Passing Heuristics for SAT
This paper introduces a notational frame to characterize the four basic product-based Message Passing (MP) heuristics currently… 
2013
2013
Computing prime implicants
Model checking and counter-example guided abstraction refinement are examples of applications of SAT solving requiring the… 
2011
2011
Evaluation of Acute Toxicity of Mercury, Cadmium and Zinc to a Freshwater Mussel Lamellidens consobrinus
Acute toxicity testing of fresh water mussel Lamellidens consobrinus to HgCl 2 , CdCl 2 and ZnSO 4 was carried out. The median… 
2005
2005
Characterization of thin film cadmium sulfide grown using a modified chemical bath deposition process
Cadmium sulfide polycrystalline films with potential for application as a solar cell window layer have been grown by a modified… 
2003
2003
Limited Address Range Architecture for Reducing Code Size in Embedded Processors
In embedded systems a processor core must be designed with low power consumption, low cost and small silicon area in mind since… 
2002
2002
Advances in continuous, in-line processing of stable CdS/CdTe devices
A continuous, in-line process suitable for high throughput manufacturing of CdS/CdTe photovoltaic devices has been demonstrated… 
2000
2000
Comparison of helix-stabilizing effects of α,α-dialkyl glycines with linear and cycloalkyl side chains
The ability of \alpha, \alpha -di-n-alkyl glycines with linear and cyclic alkyl side chains to stabilize helical conformations… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)