Accession Number : ADP002327

Title :   A Preprocessing Procedure Method in Ternary Clause Selection,

Corporate Author : KANSAI UNIV SUITA (JAPAN)

Personal Author(s) : Imanishi,S. ; Muranaka,N.

Report Date : MAY 1983

Pagination or Media Count : 6

Abstract : We present an extension of the preprocessing procedure method used in the binary clause selection to the ternary clause selection. This extension is called a ternary preprocessing procedure method. When we make use of the ternary preprocessing procedure in the ternary clause selection, we can reduce a tree size. That is useful in a ternary prime implicant generation. We discuss the experimental results comparing the ternary clause selection and the ternary clause selection using the ternary preprocessing procedure. (Author)

Descriptors :   *Trees, *Mathematical logic, *Preprocessing, *Symposia, Sizes(Dimensions), Japan

Distribution Statement : APPROVED FOR PUBLIC RELEASE