Jump to main content

yr 〜
yr

Search results 3

定理自動証明技術の計算論的研究

定理自動証明技術の計算論的研究
Paper図書
岩間, 一雄, 京都大学1996-1997<Y151-H08044158>
National Diet Library
  • Subject Heading定理証明 導出原理 計算複雑さ

各種属性を制御可能なランダムテスト例題生成技術の研究

各種属性を制御可能なランダムテスト例題生成技術の研究
Paper図書
岩間, 一雄, 九州大学1995-1996<Y151-H07458061>
National Diet Library
  • Subject Heading充足可能性問題 充足解数の制御 局所探索法 重みつけ法 定理自動証明 単読導出原理 計算複雑さ 例題生成系の安全性

鳩の巣原理に対する木状導出原理の証明サイズについて

鳩の巣原理に対する木状導出原理の証明サイズについて
Digital文書・図像類
宮崎, 修一, 岩間, 一雄Institute of Electronics, Information and Communications Engineers (IEICE)1999-09-03電子情報通信学会技術研究報告99 288p.15-22
Available onlineOther Libraries in Japan
  • Summary, etc....ty. 鳩の巣原理に対する木状導出原理の証明サイズの上下限の改良を行......という本来の結果の他に, 木状導出原理による証明サイズが一般の導出原理に対するものよりも超多項式的に......示した.下限の証明には, 木状導出原理とSATアルゴリズムであるバックトラック法との等価性を利用し...
  • Subject Heading導出原理 木状導出原理 鳩の巣原理 resolution tree-like re...

Reached to the end of result.

RSS