14 citations · 15 across the 3 of their papers we have counts for
Showing 2002Show all
2 papers · 1 filter
cond-mat.stat-mech2002★ 1 cited
Restart method and exponential acceleration of random 3-SAT instances resolutions: a large deviation analysis of the Davis-Putnam-Loveland-Logemann algorithm
S. Cocco, R. Monasson
The analysis of the solving complexity of random 3-SAT instances using the Davis-Putnam-Loveland-Logemann (DPLL) algorithm slightly below threshold is presented. While finding a so…
cond-mat.soft2002
Theoretical models for single-molecule DNA and RNA experiments: from elasticity to unzipping
S. Cocco, J. F. Marko, R. Monasson
We review statistical-mechanical theories of single-molecule micromanipulation experiments on nucleic acids. First, models for describing polymer elasticity are introduced. We then…