|2002||Frank Hutter, Dave A. D. Tompkins, and Holger H. Hoos|
Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT
- In Table 2, the two values of rho for problem instance uf400-med should be 0.4 (not 0.7)
- There was a small bug found in the SAPS software, which has been fixed for the software release 1.0. Some results achieved with the software may be better than those published in Table 2.
- Please note that the values in Table 2 are based on experiments with 100 runs, and variations from these values have been observed with longer experiments