Συνέδριο
Συγγραφείς: | Kaporis A., Kirousis L., Stamatiou Y., Vamvakari M., Zito M. |
---|---|
Τίτλος: | The unsatisfiability threshold revisited |
Συνέδριο: | 16th Annual IEEE Symposium on Logic in Computer Science (LICS '01) affiliated Workshop on Theory and Applications of Satisfiability Testing (SAT '01) |
Editors: | |
Ed: | Όχι |
Eds: | Όχι |
Σελίδες: | |
Να εμφανιστεί: | Όχι |
Μήνας: | |
Έτος: | 2001 |
Τόπος: | Boston, USA |
Εκδότης: | |
Δεσμός: | |
Όνομα αρχείου: | |
Περίληψη: |