计算机工程与科学2008,Vol.30Issue(11):68-71,4.
局部引理及其在(r,s)-SAT问题中的应用
Local Lemma and Its Application in the(r,s)-SAT Problem
摘要
关键词
概率方法/局部引理/(k,s)-SAT问题/临界函数分类
信息技术与安全科学引用本文复制引用
邓天炎,张庆顺,许道云..局部引理及其在(r,s)-SAT问题中的应用[J].计算机工程与科学,2008,30(11):68-71,4.基金项目
贵州省高层次人才科研条件特助基金资助项目(TZJF-2007-23) (TZJF-2007-23)