Weixiong Zhang Configuration landscape analysis and backbone guided local search: Part I: Satisfiability and maximum satisfiability. 1-26 2004 158 Artif. Intell. 1 http://dx.doi.org/10.1016/j.artint.2004.04.001 db/journals/ai/ai158.html#Zhang04