The unsatisfiability threshold revisited
Alexis C. Kaporis; Lefteris M. Kirousis; Yannis C. Stamatiou; Malvina Vamvakari; Michele Zito
- 作者Alexis C. Kaporis; Lefteris M. Kirousis; Yannis C. Stamatiou; Malvina Vamvakari; Michele Zito
- 卷第9卷
- 印刷ISSN1571-0653
- 文件大小396.37KB
- 发表时间2001
- DOI10.1016/s1571-0653(04)00315-4
- 页码81-95