Συνέδριο

Συγγραφείς: 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
Εκδότης:
Δεσμός:
Όνομα αρχείου:
Περίληψη: