Results 81 to 90 of about 2,334 (179)

Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads [PDF]

, 2012
Satisfiability (SAT) is considered as one of the most important core technologies in formal verification and related areas. Even though there is steady progress in improving practical SAT solving, there are limits on scalability of SAT solvers. We address this issue and present a new approach, called cube-and-conquer, targeted at reducing solving time ...
Marijn Heule, Oliver Kullmann, Siert Wieringa, Armin Biere   +3 more
openaire   +2 more sources

Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning

EPiC Series in Computing, 2018
Preprocessing techniques are crucial for SAT solvers when it comes to reaching state-of-the-art performance as it was shown by the results of the last SAT Competitions. Theusefulness of a preprocessing technique depends highly on its own parameters, on the in-stances on which it is applied and on the used solver.
Adrian Balint, Norbert Manthey
openaire   +2 more sources

Effectiveness of pre- and inprocessing for CDCL-based SAT solving

CoRR, 2013
Applying pre- and inprocessing techniques to simplify CNF formulas both before and during search can considerably improve the performance of modern SAT solvers. These algorithms mostly aim at reducing the number of clauses, literals, and variables in the formula.
Andreas Wotzlaw, Alexander van der Grinten, Ewald Speckenmeyer   +2 more
openaire   +2 more sources

Phytocompounds and Regulation of Flavonoids in In Vitro-Grown Safflower Plant Tissue by Abiotic Elicitor CdCl₂

Metabolites
In this study, a Gas chromatography–mass spectrometry (GC–MS) investigation of embryogenic callus and somatic embryo regenerated shoots of Carthamus tinctorius revealed the presence of a variety of sugars, sugar acids, sugar alcohols, fatty acids ...
Bushra Ejaz, Abdul Mujib, Rukaya Syeed, Jyoti Mamgain, Moien Qadir Malik, Kanchan Birat, Yaser Hassan Dewir, Katalin Magyar-Tábori   +7 more
doaj   +1 more source

Sulforaphane Exposure Prevents Cadmium-Induced Toxicity and Mitochondrial Dysfunction in the Nematode Caenorhabditis elegans by Regulating the Insulin/Insulin-like Growth Factor Signaling (IIS) Pathway

Antioxidants
Cadmium (Cd) is a heavy metal that is highly toxic to humans and animals. Its adverse effects have been widely associated with mitochondrial alterations. However, there are not many treatments that target mitochondria.
Estefani Yaquelin Hernández-Cruz, Omar Emiliano Aparicio-Trejo, Dianelena Eugenio-Pérez, Elí Juárez-Peredo, Mariana Zurita-León, Víctor Julián Valdés, José Pedraza-Chaverri   +6 more
doaj   +1 more source

Extending CDCL-based Model Enumeration with Weights

CoRR
In this work we investigate Weighted Model Enumeration (WME): given a Boolean formula and a weight function over its satisfying assignments, enumerate models while accounting for their weights. This setting supports weight-driven queries, such as producing the top-k models or all models above a threshold.
Giuseppe Spallitta, Moshe Y. Vardi
openaire   +2 more sources

DeepCDCL: A CDCL-based Neural Network Verification Framework

Neural networks in safety-critical applications face increasing safety and security concerns due to their susceptibility to little disturbance. In this paper, we propose DeepCDCL, a novel neural network verification framework based on the Conflict-Driven Clause Learning (CDCL) algorithm.
Zongxin Liu 0001, Pengfei Yang 0002, Lijun Zhang 0001, Xiaowei Huang 0001   +3 more
openaire   +2 more sources

The effect of annealing and CdCl2 activation on the electrical properties of thin film ZnO buffer layers for CdSeTe/CdTe solar cells

JPhys Energy
Highly resistive ZnO thin films are effective n-type buffer layers for thin film CdSeTe/CdTe photovoltaic devices. However, high-temperature processing during device fabrication may alter their electrical properties.
Mustafa Togay, Luksa Kujovic, Ali Abbas, Kieran M Curson, Luke O Jones, Robert D Ellis, Martin Bliss, Kurt L Barth, Jake W Bowers, J Michael Walls   +9 more
doaj   +1 more source

CdCl₂-BaCl₂-KCl（NaCl）和CdF₂-BaF₂-CdCl₂体系—卤化镉玻璃的形成和性质

Guangtongxin yanjiu, 1986
镉的卤化物玻璃是一类新的红外光学材料。本文叙述CdCl2-BaCl2-KCl（NaCl）系和CdF2-BaF2-CdCl2。系玻璃的合成及某些性质。这些玻璃在红外透过、传输CO2激光和制作超低损耗光纤方面具有潜在的应用。
张克立, 夏幽兰, 张瑞华, 徐泽滨, 袁启华, 张永善   +5 more
doaj  

An Exponential Separation between Deterministic CDCL and DPLL Solvers

CoRR
We prove that there exists a deterministic configuration of Conflict Driven Clause Learning (CDCL) SAT solvers using a variant of the VSIDS branching heuristic that solves instances of the Ordering Principle (OP) CNF formulas in time polynomial in n, where n is the number of variables in such formulas.
Sahil Samar, Marc Vinyals, Vijay Ganesh 0001   +2 more
openaire   +2 more sources