Boolean Satisfiability -- From Theoretical . . . (2009)

by Harad Malik, et al.