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… 
2018
2018
Utilizing quad-trees for efficient design space exploration with partial assignment evaluation
Recently, it has been shown that constraint-based symbolic solving techniques offer an efficient way for deciding binding and… 
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… 
2011
2011
MICPA: A Client-Assisted Channel Assignment Scheme for Throughput Enhancement in WLANs
The emergence of high-density wireless local area network (WLAN) deployments in recent years is a testament to the insatiable… 
2009
2009
Integrating human factors in the design of intelligent systems: an example in air traffic control
In the current organisation of air traffic control, some cooperative activities appear in the work of air traffic controllers… 
2006
2006
Characterizing Recombination in CdTe Solar Cells with Time-Resolved Photoluminescence
Time-resolved photoluminescence (TRPL) computer simulations demonstrate that under certain experimental conditions it is possible… 
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… 
Highly Cited
2003
Highly Cited
2003
Structural and chemical interface characterization of CdTe solar cells by transmission electron microscopy
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)