CNF-RELATED DATA STRUCTURE, CNF-RELATED DATA STRUCTURE PROGRAM, AND CNFSAT CALCULATION PROGRAM

摘要

PROBLEM TO BE SOLVED: To provide means for clarifying the complexity of CNF calculation and effectively performing CNFSAT calculation.;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.;COPYRIGHT: (C)2013,JPO&INPIT