摘要 |
<p><P>PROBLEM TO BE SOLVED: To provide a model inspection device for reducing a retrieval region without giving any change to the random property of variable selection. <P>SOLUTION: A model inspection device for comprehensively retrieving the combination of binary variables making true a CNF (Conjunctive Normal Form) formula in which inspection targets and inspection items for model inspection are CNF-converted is configured to comprehensively retrieve the combination of the binary variables making true the CNF formula by using independent variables selected at random and relational formula between the independent variables and dependent variables other than the independent variables. <P>COPYRIGHT: (C)2011,JPO&INPIT</p> |