通信プロトコルの試験系列生成問題に対するSATアルゴリズム適用法の提案

Research output: Contribution to journalArticle

Original languageJapanese
Pages (from-to)1038-104
Number of pages7
Journal電子情報通信学会論文誌D-I
VolumeVol.J85-D-I
Issue numberNo.11
Publication statusPublished - 2002

Cite this