Applying the "smoothing" technique of Achlioptas and Moore to the satisfiability problem CTI Technical Report Νο. TR 2002/12/02

by ΔΑΒΡΑΖΟΣ, ΕΥΘΥΜΙΟΣ, Καπόρης, Αλεξης, Κυρούσης, Λευτέρης Μ.
Published 2002