工业类SAT实例的内部结构特性

摘要

人们一直在尝试找出更多有效的策略去求解SAT实例,我们为此提出一种分治策略：把一个实例分割成若干个小的实例,把一个难的实例分成若干个相对容易的实例去求解。