Frank Hutter, Dave A.D. Tompkins and Holger H. Hoos. Scaling and
Probabilistic Smoothing: Efficient Dynamic Local Search for SAT. In
Proceedings of the Eighth International Conference on Principles and Practice
of Constraint Programming, pp.233-248, Springer Verlag, 2002.
- 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