Auto-Walksat: A Self-Tuning Implementation of Walksat by Donald Patterson • October 8, 2017 • 0 Comments Auto-Walksat: A Self-Tuning Implementation of Walksat