Duc Nghia Pham John Thornton Charles Gretton Abdul Sattar Combining Adaptive and Dynamic Local Search for Satisfiability. 149-172 2008 4 JSAT 2-4 http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_8_Pham.pdf db/journals/jsat/jsat4.html#PhamTGS08