摘要 |
<P>PROBLEM TO BE SOLVED: To provide means for clarifying the complexity of CNF calculation and effectively performing CNFSAT calculation. <P>SOLUTION: A CNF structure is clarified by clarifying the relationship between CNFSAT clauses and calculation complexity is also clarified by making latent restriction overt. In addition, a program for allowing a computer to achieve the function of efficiently deriving the seepage clauses is provided. <P>COPYRIGHT: (C)2013,JPO&INPIT |