Results 131 to 140 of about 2,334 (179)

Bacillus xiamenensis Inhibits the Growth of Moraxella osloensis by Producing Indole-3-Carboxaldehyde. [PDF]

Microbiologyopen
Watanabe M, Sekino Y, Kuramochi K, Furuyama Y.   +3 more
europepmc   +1 more source

Interbacterial warfare in the human gut: insights from Bacteroidales' perspective. [PDF]

Gut Microbes
Jiang K, Pang X, Li W, Xu X, Yang Y, Shang C, Gao X.   +6 more
europepmc   +1 more source

Bacterial pore-forming toxins: mechanisms and implications for host immunity. [PDF]

Biosci Rep
Lata K, Gandhi S, Chatterjee S, Puravankara S, Chauhan A, Nandy K, Sarkar K, Geetika, Kaur G, Mandeep, Chattopadhyay K.   +10 more
europepmc   +1 more source

Relaxed Excitonic States in Cadmium Halide Crystals (II) : CdCl 2 , CdCl 2 : Br and CdCl 2 :I

Relaxed Excitonic States in Cadmium Halide Crystals (II) : CdCl 2 , CdCl 2 : Br and CdCl 2 :I
openaire  

Some of the next articles are maybe not open access.

Related searches:

Partial Backtracking in CDCL Solvers

2013
Backtracking is a basic technique of search-based satisfiability (SAT) solvers. In order to backtrack, a SAT solver uses conflict analysis to compute a backtracking level and discards all the variable assignments made between the conflicting level and the backtracking level.
Chuan Jiang, Ting Zhang
openaire   +1 more source

Deep Cooperation of CDCL and Local Search for SAT

2021
Modern SAT solvers are based on a paradigm named conflict driven clause learning (CDCL), while local search is an important alternative. Although there have been attempts combining these two methods, this work proposes deeper cooperation techniques. First, we relax the CDCL framework by extending promising branches to complete assignments and calling a
Shaowei Cai 0001, Xindi Zhang
openaire   +1 more source

Evaluating CDCL Variable Scoring Schemes

2015
The VSIDS (variable state independent decaying sum) decision heuristic invented in the context of the CDCL (conflict-driven clause learning) SAT solver Chaff, is considered crucial for achieving high efficiency of modern SAT solvers on application benchmarks. This paper proposes ACIDS (average conflict-index decision score), a variant of VSIDS.
Armin Biere, Andreas Fröhlich
openaire   +1 more source

Simplifying CDCL Clause Database Reduction

2019
CDCL SAT solvers generate many “learned” clauses, so effective clause database reduction strategies are important to performance. Over time reduction strategies have become complex, increasing the difficulty of evaluating particular factors or introducing new refinements. At the same time, it has been unclear if the complexity is necessary.
Sima Jamali, David Mitchell
openaire   +1 more source