Works by or with Lintao Zhang in the bibliography:Boolean satisfiability from theoretical hardness to practical success (2009)