須山 敬之


再構成可能なハードウェアを用いた充足可能性問題の解法
須山 敬之 横尾 真 澤田 宏 名古屋 彰 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/04/01
Vol. J84-D1  No. 4  pp. 410-420
論文種別:  論文
専門分野: 人工知能,認知科学
キーワード: 
充足可能性問題リコンフィギャラブルコンピューティングFPGA論理合成制約充足問題
 あらまし | 本文:PDF(864.4KB)