@article{oai:hiroshima-cu.repo.nii.ac.jp:00001310, author = {ICHIHARA, Hideyuki and KAJIHARA, Seiji and KINOSHITA, Kozo and 市原, 英行}, issue = {10}, journal = {IEICE Transactions on Information and Systems}, month = {Oct}, note = {application/pdf, Static learning is a procedure to extract implication relations of a logic circuit. In this paper we point out that the number of the extracted implication relations by static learning depends on the order of signal lines processed. Also, we show four procedures for ordering signal lines processed and the effectiveness of the ordering procedures by experiments.}, pages = {1908--1911}, title = {On Processing Order for Obtaining Implication Relations in Static Learning}, volume = {E83-D}, year = {2000}, yomi = {イチハラ, ヒデユキ and カジハラ, セイジ and キノシタ, コウゾウ} }