Results 301 to 310 of about 702,219 (333)
Some of the next articles are maybe not open access.
International Journal of Foundations of Computer Science, 2005
In this paper, we discuss a simple, Monte Carlo algorithm for the problem of checking whether a Quantified Boolean Formula (QBF) in Conjunctive Normal Form (CNF), with at most two literals per clause has a model. The term k-CNF is used to describe boolean formulas in CNF, with at most k literals per clause and the problem of checking whether a given k ...
openaire +2 more sources
In this paper, we discuss a simple, Monte Carlo algorithm for the problem of checking whether a Quantified Boolean Formula (QBF) in Conjunctive Normal Form (CNF), with at most two literals per clause has a model. The term k-CNF is used to describe boolean formulas in CNF, with at most k literals per clause and the problem of checking whether a given k ...
openaire +2 more sources
Journal of Mathematical Sciences, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Geometric and Functional Analysis, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Noble-Metal Based Random Alloy and Intermetallic Nanocrystals: Syntheses and Applications
Chemical Reviews, 2021Ming Zhou, Can Li, Jiye Fang
exaly
Random Walks And Random Environments
1995Abstract This is the first volume of a two-volume work devoted to probability theory in physics, physical chemistry and engineering. This volume provides an introduction to the problem of "random walk" and its applications. In its simplest form, the random walk describes the motion of an idealized drunkard and is a discrete analogue of ...
openaire +1 more source
Mechanical properties and deformation mechanisms of gradient nanostructured metals and alloys
Nature Reviews Materials, 2020Xiaoyan Li, Lei Lu, Jianguo Li
exaly

