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

• Main Authors: ΔΑΒΡΑΖΟΣ, ΕΥΘΥΜΙΟΣ (Author), Καπόρης, Αλεξης (Author), Κυρούσης, Λευτέρης Μ. (Author)
• Format: Book
• Language: Greek
• Published: Patras - Hellas CTI December 2002
• Subjects: ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ; cti tr 2002; TECHNICAL REPORT