岩間, 一雄, 京都大学1996-1997<Y151-H08044158>
国立国会図書館
西原清一, 筑波大学 [著][西原清一]2002-2004<Y151-H14380134>
国立国会図書館
- 件名制約充足問題 / グラフ色ぬり問題 / 相転移現象 / 計算複雑さ / 組合せ探索 / アルゴリズム / NP完全 / 知識表...
岩間, 一雄, 九州大学1995-1996<Y151-H07458061>
国立国会図書館
- 件名充足可能性問題 充足解数の制御 局所探索法 重みつけ法 定理自動証明 単読導出原理 計算複雑さ 例題生成系の安全性
矢島, 修三, 京都大学1993-1994<Y151-H05452352>
国立国会図書館
- 件名論理関数 二分決定グラフ 論理関数処理 論理設計支援 並列アルゴリズム 計算複雑さ 内容アドレスメモリ 組合せ問題
矢島, 脩三, 京都大学1990-1991<Y151-H02452162>
国立国会図書館
- 件名論理関数 二分決定グラフ 論理関数処理 計算機援用設計 記号シミユレーシヨン タイミング検証 論理設計検証 計算複雑さ