Model generation using generalized lemma

Junichi Shimizu, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Research output: Contribution to journalArticle

Abstract

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 we propose a method that can reduce the generation of lemmas using lemma subsumption. We evaluated effects of the method by proving some typical problem.

Original languageEnglish
Pages (from-to)55-59
Number of pages5
JournalResearch Reports on Information Science and Electrical Engineering of Kyushu University
Volume8
Issue number1
Publication statusPublished - Jan 1 2003

All Science Journal Classification (ASJC) codes

  • Computer Science(all)
  • Electrical and Electronic Engineering

Cite this