Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,760 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Boolean satisfiability problem
Brute-force search
Computer science
Conjunctive normal form
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2021
2021
Using Algorithm Configuration Tools to Generate Hard SAT Benchmarks
Tomás Balyo
,
L. Chrpa
Symposium on Combinatorial Search
2021
Corpus ID: 51876773
Algorithm configuration tools have been successfully used to speed up local search satisfiability (SAT) solvers and other…
Expand
2018
2018
Utilizing quad-trees for efficient design space exploration with partial assignment evaluation
Kai Neubauer
,
C. Haubelt
,
P. Wanko
,
Torsten Schaub
Asia and South Pacific Design Automation…
2018
Corpus ID: 3476901
Recently, it has been shown that constraint-based symbolic solving techniques offer an efficient way for deciding binding and…
Expand
2014
2014
Conflict-Driven XOR-Clause Learning (extended version)
Tero Laitinen
,
Tommi A. Junttila
,
I. Niemelä
arXiv.org
2014
Corpus ID: 14081702
Modern conflict-driven clause learning (CDCL) SAT solvers are very good in solving conjunctive normal form (CNF) formulas…
Expand
2011
2011
MICPA: A Client-Assisted Channel Assignment Scheme for Throughput Enhancement in WLANs
M. Drieberg
,
F. Zheng
,
R. Ahmad
IEEE Transactions on Vehicular Technology
2011
Corpus ID: 28392617
The emergence of high-density wireless local area network (WLAN) deployments in recent years is a testament to the insatiable…
Expand
2009
2009
Integrating human factors in the design of intelligent systems: an example in air traffic control
S. Debernard
,
B. Guiost
,
T. Poulain
,
Igor Crévits
,
D. Annebicque
,
P. Millot
International Journal of Intelligent Systems…
2009
Corpus ID: 16396861
In the current organisation of air traffic control, some cooperative activities appear in the work of air traffic controllers…
Expand
2006
2006
Characterizing Recombination in CdTe Solar Cells with Time-Resolved Photoluminescence
W. Metzger
,
M. Romero
,
P. Dippo
,
M. Young
IEEE World Conference on Photovoltaic Energy…
2006
Corpus ID: 26757658
Time-resolved photoluminescence (TRPL) computer simulations demonstrate that under certain experimental conditions it is possible…
Expand
2005
2005
Characterization of thin film cadmium sulfide grown using a modified chemical bath deposition process
M. Archbold
,
D. Halliday
,
K. Durose
,
T. Hase
,
D. Smyth‐Boyle
,
K. Govender
Conference Record of the Thirty-first IEEE…
2005
Corpus ID: 32629297
Cadmium sulfide polycrystalline films with potential for application as a solar cell window layer have been grown by a modified…
Expand
Highly Cited
2003
Highly Cited
2003
Structural and chemical interface characterization of CdTe solar cells by transmission electron microscopy
M. Terheggen
,
H. Heinrich
,
+5 authors
N. Romeo
2003
Corpus ID: 17148832
2002
2002
Advances in continuous, in-line processing of stable CdS/CdTe devices
W. Sampath
,
Sandeep Kohli
,
+6 authors
P. Noronha
33rd IEEE Photovoltaic Specialists Conference
2002
Corpus ID: 8239258
A continuous, in-line process suitable for high throughput manufacturing of CdS/CdTe photovoltaic devices has been demonstrated…
Expand
2000
2000
Comparison of helix-stabilizing effects of α,α-dialkyl glycines with linear and cycloalkyl side chains
S. Vijayalakshmi
,
R. Rao
,
I. Karle
,
P. Balaram
2000
Corpus ID: 29945621
The ability of \alpha, \alpha -di-n-alkyl glycines with linear and cyclic alkyl side chains to stabilize helical conformations…
Expand
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)
ACCEPT & CONTINUE