海量图书期刊资源，随时随地畅享阅读乐趣
The unsatisfiability threshold revisitedAlexis C. Kaporis; Lefteris M. Kirousis; Yannis C. Stamatiou; Malvina Vamvakari; Michele Zito · 2001