Applying the "smoothing" technique of Achlioptas and Moore to the satisfiability problem CTI Technical Report Νο. TR 2002/12/02 - ΔΑΒΡΑΖΟΣ, ΕΥΘΥΜΙΟΣ; Καπόρης, Αλεξης; Κυρούσης, Λευτέρης Μ. (CTI, 2002)