中山大学学报(自然科学版)2004，Vol.43Issue(2)：37-39,3.
一个SAT问题有解的充要条件
A Sufficient and Necessary Condition for Sat Problem
摘要
关键词
合取范式/SAT问题/NP完全问题分类
信息技术与安全科学引用本文复制引用
余丰人,丘海明..一个SAT问题有解的充要条件[J].中山大学学报(自然科学版),2004,43(2):37-39,3.基金项目
广东省自然科学基金重点项目资助(021753) （021753）
