HyoJung Han, Fabio Somenzi: On-the-Fly Clause Improvement. SAT 2009: 209-222