Zobrazeno 1 - 1
of 1
pro vyhledávání: '"一般化補題"'
Publikováno v:
九州大学大学院システム情報科学紀要. 8(1):55-59
We can prune unnecessary search spaces using lemmas. In order to enhance the pruning ability of lemmas, we introduce a method to generalize them. There may be many cases to which generalized lemma can be applied but non-generalized one can not. Then
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::a8b823a15ef0967e75eff1ab4936bfda
http://hdl.handle.net/2324/1515818
http://hdl.handle.net/2324/1515818
