Sage Journals: Discover world-class research

Sort by:

Relevance

Select allExport selected citations

Sort by:

Relevance

Open access

Research article

First published 2011-11

Reusing the Assignment Trail in CDCL Solvers

Peter van der Tak, Antonio Ramos, Marijn Heule

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2014-6

Ring a Conformation of Aconine and Pseudaconine in CDCl 3

Hong-Ying Deng, Qiao-Hong Chen, Feng-Peng Wang

Natural Product Communications

Retricted access

Research article

First published 2024

Design and implementation of modern CDCL ASP solvers

Carmine Dodaro

Intelligenza Artificiale

Retricted access

Research article

First published 1993-10

Infrared Study of n -Alkanes in CCl 4,CDCl 3 /CCl 4,and CDCl 3 0.5% Solutions

R. A. Nyquist, S. L. Fiedler

Applied Spectroscopy

Retricted access

Research article

First published 2010-10

Rat ovarian follicle bioassay reveals adverse effects of cadmium chloride (CdCl 2 ) exposure on follicle development and oocyte maturation

Xuying Wan, Jiangbo Zhu, Yongfei Zhu [...]

Toxicology and Industrial Health

Retricted access

Research article

First published 1984-6

The Effects of CdCl 2 on the Matemal-to-Fetal Clearance of 67 Cu and Placental Blood Flow 1

R. J. Chertok, B. Kullgren, D. Burbank

Experimental Biology and Medicine

Retricted access

Research article

First published 2024-01-10

CDCL-VRE: An ensemble deep learning-based model for distracted driver behavior detection

Haibin Sun, Zheng Li

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2012-9

Fluorescent,Theoretical and Structural Investigations on [Me 4 bim][CdCl 4 ] (Me 4 bim = 1,1′,3,3′-tetramethyl-2,2′-bi-1 H -imidazolium)

Wen-Tong Chen

Journal of Chemical Research

Open access

Research article

First published 2012-2

QMaxSAT: A Partial Max-SAT Solver

Miyuki Koshimura, Tong Zhang, Hiroshi Fujita [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Brief report

First published 1988-3

Mixed Sertoli-Leydig Cell Tumor and Rete Testis Adenocarcinoma in Rats Treated with CdCl 2

S. Rehm, M. P. Waalkes

Veterinary Pathology

Search results