Συνέδριο
Συγγραφείς: | Kaporis A., Kirousis L., Lalas E. |
---|---|
Τίτλος: | Selecting complementary pairs of literals |
Συνέδριο: | 18th Annual IEEE Symposium on Logic in Computer Science (LICS '03) affiliated Workshop on Typical case complexity and phase transitions |
Editors: | |
Ed: | Όχι |
Eds: | Όχι |
Σελίδες: | |
Να εμφανιστεί: | Όχι |
Μήνας: | |
Έτος: | 2003 |
Τόπος: | Ottawa, Canada |
Εκδότης: | |
Δεσμός: | |
Όνομα αρχείου: | |
Περίληψη: |