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