Results 151 to 160 of about 2,334 (179)
Some of the next articles are maybe not open access.

CdCl[OH]

2006
P. Villars   +10 more
openaire   +1 more source

The effect of ZnCl2 and CdCl2 treatment on ZnS/CdS junction partner on CdTe cell performance

Materials Science in Semiconductor Processing, 2022
Ali Ciris   +2 more
exaly  

On Adapting CDCL Strategies for PB Solvers

2020
Current implementations of pseudo-Boolean (PB) solvers are based on the CDCL architecture, which is the central component of modern SAT solvers.In addition to clause learning, this architecture comes with many strategies that help the solver find its way through the search space, either to a solution or to an unsatisfiability proof.Particularly ...
openaire   +1 more source

DPLL with restarts linearly simulates CDCL

2019
If we give DPLL the ability to make restarts and to learn clauses representing the explored search space, it can linearly simulate CDCL solvers.
openaire   +1 more source

Home - About - Disclaimer - Privacy