A Preprocessing Procedure Method in Ternary Clause Selection,

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)

Document Details

Document Type
Technical Report
Publication Date
May 01, 1983
Accession Number
ADP002327

Entities

People

  • N. Muranaka
  • S. Imanishi

Organizations

  • Kansai University

Tags

DTIC Thesaurus Topics

  • Demographic Cohorts
  • Preprocessing

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Computational Linguistics
  • Materials Science and Engineering.