1994年 k-クリーク問題からSATへの効率の良い変換方法について(共著) 電子情報通信学会1994年春期大会講演論文集94,D-15 宮崎 修一 記述言語 日本語 掲載種別 エクスポート BibTeX RIS