Results 171 to 179 of about 2,334 (179)

Speeding Up CDCL Inference with Duplicate Learnt Clauses

2020
Stepan Kochemazov, Oleg Zaikin 0002, Alexander A. Semenov, Victor Kondratiev   +3 more
openaire   +1 more source

Use of flow cytometry and confocal microscopy techniques to investigate early CdCl2-induced nephrotoxicity in vitro

Toxicology in Vitro, 2001
Alberto Alvarez-Barrientos, J E O'Connor   +1 more
exaly  

CdCl2 treatment and its role in enhancing photodetection properties of CdTe and Cd1-xZnxTe films

Materials Science and Engineering B: Solid-State Materials for Advanced Technology
Bulent M Basol, I Polat, Murat Tomakin
exaly  

Dermatopontin is a novel regulator of the CdCl2-induced decrease in claudin-11 expression

Toxicology in Vitro, 2014
exaly  

CDCL with Reduction

2013
openaire   +1 more source

TM-doped CdCl2 monolayer as a sensor for decomposition products of fluorocarbon gases in gas-insulated switchgear: A first-principles study

Chemical Physics Letters
Zengming Qin, Jingxiang Zhao
exaly  

Effects of heat treatment of vacuum evaporated CdCl2 layer on the properties of CdS/CdTe solar cells

Current Applied Physics, 2011
exaly  

SPASS-SATT: A CDCL(LA) Solver

2019
Bromberger, M. ; https://orcid.org/0000-0001-7256-2190, Fleury, M., Schwarz, S., Weidenbach, C. ; https://orcid.org/0000-0001-6002-0458   +3 more
openaire   +1 more source

SAT Reasoning in CDCL(T) Solvers. [PDF]

openaire