Document Versions

Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT –Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos — 2002
Scaling and probabilistic smoothing: Efficient dynamic local search for SAT –Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos — 2002 — In Proc. of CP-02
Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT –Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos — 2002 — In Proc. of CP-02