Find research datasets worth reusing
Search datasets from major research repositories and use ShareScore to quickly assess how well each record supports discovery, access, and reuse.
7
datasets available to search
ShareScore release 0.9.0
Dataset results
7 results for “CDCL”
Dataset for "Too much information: CDCL solvers need to forget and perform restarts"
<p>This repository contains all generated data and evaluations of the paper "<strong>Too much information: CDCL solvers need to forget and perform restarts</strong>" by Tom Krüger, Jan-Hendrik Lorenz, and Florian Wörz.</p> <p>In particular, this collection contains the scripts for obtaining the sets <span class="math-tex">\(\mathbb{L}\)</span> (<em>cores</em>) and reconstructing our sampled sets <span class="math-tex">\(L\)</span> (<em>ext_bitstrings</em>). Furthermore, all data obtained by calling <span class="math-tex">\(\mathrm{CDCLSolver}(\mathscr{F} \cup L)\)</span> can be found. Additionally, we included visual and statistical evaluations used in this paper.</p>
Fig 1 in Sub-lethal toxic effect of cadmium chloride (CdCl ) on freshwater murrel Channa punctata (BLOCH)
Fig 1: Protein Content of the tissues (gill and liver) of C. punctata at 5 ppm and 10 ppm of CdCl2 after 7 days of exposure
Using Resolution Proofs to Analyse CDCL SAT solvers
<p>Data for the article Janne I. Kokkala, Jakob Nordström: Using Resolution Proofs to Analyse CDCL SAT solvers, accepted to the 26th International Conference on Principles and Practice of Constraint Programming.</p> <p>Files:</p> <ul> <li><strong>solver.tgz</strong> – Source code of the modified Glucose 3.0 used in the experiments</li> <li><strong>instances.tar</strong> – All CNF instances used in the experiments (compressed individually using xz). Note that these are the formulas obtained after preprocessing, so they are not the same as used in the SAT races and competitions they are obtained from.</li> <li><strong>data-instances.txt</strong> – List of all benchmark instance filenames and IDs used to refer to them in other data files.</li> <li><strong>data-solvers.txt</strong> – Parameters used for each solver configuration (see the paper for explanation of where they were used).</li> <li><strong>data-solverstats.txt</strong> – For each solver configuration and instance, some data of the run</li> <li><strong>data-proofsizes.txt</strong> – For each solver configuration and instance, sizes of untrimmed proof, the trimmed solver proof, and the proof output by DRAT-trim, measured both in number of learnt clauses and in number of clause usages – note that for the clause usage counts, all unit clauses are considered to be used only once at the end (since that would result to a shorter resolution proof and is more related to the solver performance)</li> <li><strong>data-features.txt</strong> – For the solver used in the clause feature experiments, this file contains for each instance the frequency distribution of each feature (both absolute and percentile rank)</li> <li><strong>plots-features.pdf</strong> – Larger versions of the feature plots in the paper, including plots not shown in the paper.</li> <li><strong>plots-proofsizes.pdf</strong> – Plots of the data for the pairwise solver proof size comparison experiments.</li> </ul> <p> </p>
Fig 1 in Sub-lethal toxic effect of cadmium chloride (CdCl ) on freshwater murrel Channa punctata (BLOCH)
Fig 1: Channa punctata
Expression data in HK-2 cells following exposure to CdCl
GEO Series GSE27094. Homo sapiens. 12 samples. Type: Expression profiling by array.
Experiments of Multiple Decision Making in CDCL SAT Solvers
<p>With these experiments (submission), we show that Multiple Decision Making (MDM) has a positive impact on CDCL, for many different SAT application problems when alternating between different decision queues and frequently running the WalkSAT strategy. Overall, MDM allowed the CDCL search to solve extra 10 formulas in the SAT competition 2020 benchmark set, and achieves a minimum PAR-2 score of 3,473 compared to the state of the art solver Kissat.</p>
Expression data in HK-2 cells following exposure to Tox 2 compounds: CdCl, Di, and Kbr
GEO Series GSE27204. Homo sapiens. 36 samples. Type: Expression profiling by array.
ScienceDex guides
Understand access before you commit
These curated guides explain access requirements, typical timelines, costs, and reuse considerations for widely used research datasets.
Allen Brain Atlas
Allen Brain Atlas is an Allen Institute collection of brain map atlases, datasets, APIs, and analysis tools covering mouse, human, and non-human primate brain resources.
Annotated Behaviour and Observability Dataset (ABODe)
ABODe is a University of Edinburgh DataShare dataset for behavior classification in group-housed mice using home-cage video, identities, bounding boxes, ground-plate positions, and annotator labels.
DANDI Archive for NWB datasets
DANDI is a BRAIN Initiative archive for publishing and sharing neurophysiology data, including electrophysiology, optophysiology, and behavioral data packaged as NWB and related standards.
International Brain Laboratory public data
The International Brain Laboratory public data releases expose standardized mouse decision-making experiments, including Neuropixels recordings, widefield calcium imaging, behavior, and session metadata accessed through the ONE API.
OpenNeuro
OpenNeuro is a free, open platform for sharing neuroimaging datasets, with public search, dataset pages, and download paths for web, S3, DataLad, and the OpenNeuro CLI.