Dipart the Industry SAT Instances
Liusheng Huang · Microelectronics & Computer · 2007
This paper propose Chaco-2.2 to partition the instance’s variable interaction graph and evaluating the SAT instances’ compactness. Found that most industry instances have a relax interal structure,and are easier to be partitioned into several parts than other kind of SAT instances.