%0 Journal Article
%T sat问题可多项式归结到msp问题
%A 樊硕
%A 姜新文？
%J 计算机科学
%D 2012
%X 针对文献巨1]中提出的msp问题(定义见正文)，从sai'问题出发，给出sa}r问题到msp问题的多项式归结，进而给出msp问题np完全性质的另一种证明。
%K msp问题
%K sat问题
%K 多项式归结
%K np完全性
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=121141&flag=1