非二元约束满足问题的产品配置建模与求解
张泉乐,袁际军
. 2010, (1): 103 -106 .