作者：李子湖; 周智sat实例结构特性工业分治策略求解分割
摘要：人们一直在尝试找出更多有效的策略去求解SAT实例,我们为此提出一种分治策略：把一个实例分割成若干个小的实例,把一个难的实例分成若干个相对容易的实例去求解。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《网络新媒体技术》（CN：10-1055/TP）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
省级期刊
人气 214070 评论 71
部级期刊
人气 39533 评论 47
北大期刊、CSCD期刊、统计源期刊
人气 37290 评论 50
人气 30690 评论 47
