Search results for "木状導出原理" | NDL Search

Search results 1

Group by title

Digital文書・図像類

宮崎, 修一, 岩間, 一雄Institute of Electronics, Information and Communications Engineers (IEICE)1999-09-03電子情報通信学会技術研究報告99 288p.15-22

Available onlineOther Libraries in Japan

Summary, etc....lity. 鳩の巣原理に対する木状導出原理の証明サイズの上下限の改良を行......改良という本来の結果の他に, 木状導出原理による証明サイズが一般の導出原......ても示した.下限の証明には, 木状導出原理とSATアルゴリズムであるバックトラック法との等価性を利用し...
Subject Heading導出原理木状導出原理鳩の巣原理 resolution tree-like re...

Reached to the end of result.

RSS