Applying the "smoothing" technique of Achlioptas and Moore to the satisfiability problem CTI Technical Report Νο. TR 2002/12/02
Κύριοι συγγραφείς: | , , |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | Greek |
Έκδοση: |
Patras - Hellas
CTI
December 2002
|
Θέματα: |
Η περιγραφή δεν είναι διαθέσιμη |