3 papers:
ICALP-2002-Merkle #probability #sequence- The Kolmogorov-Loveland Stochastic Sequences Are Not Closed under Selecting Subsequences (WM), pp. 390–400.
SAT-2002-MonassonC #algorithm #analysis #exponential #random #satisfiability #scalability- Restart method and exponential acceleration of random 3-SAT instances resolutions: A large deviation analysis of the Davis-Putnam-Loveland-Logemann algorithm (RM, SC), p. 11.
CADE-2000-Baumgartner #first-order #named- FDPLL — A First Order Davis-Putnam-Longeman-Loveland Procedure (PB), pp. 200–219.
