Conference
Authors: | Kaporis A., Kirousis L., Stamatiou Y., Vamvakari M., Zito M. |
---|---|
Title: | The unsatisfiability threshold revisited |
Conference: | 16th Annual IEEE Symposium on Logic in Computer Science (LICS '01) affiliated Workshop on Theory and Applications of Satisfiability Testing (SAT '01) |
Editors: | |
Ed: | No |
Eds: | No |
Pages: | |
To appear: | No |
Month: | |
Year: | 2001 |
Place: | Boston, USA |
Pubisher: | |
Link: | |
File name: | |
Abstract: |