キーワード : SATアルゴリズム

通信プロトコルの試験系列生成問題に対するSATアルゴリズム適用法の提案
森　亮憲  大塚　裕孝  舩曵　信生  中田　明夫  東野　輝夫 
誌名:   電子情報通信学会論文誌 D
発行日: 2002/11/01
Vol. J85-D1  No. 11  pp. 1038-1046
論文種別: 論文
専門分野: アルゴリズム
キーワード: 
通信プロトコル,  試験系列生成問題,  SATアルゴリズム,  近似アルゴリズム,  制約条件, 
  あらまし |  本文:PDF (389.2KB)