Model generation using generalized lemma

Junichi Shimizu, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Research output: Contribution to journalArticlepeer-review


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
Issue number1
Publication statusPublished - Jan 1 2003

All Science Journal Classification (ASJC) codes

  • Computer Science(all)
  • Electrical and Electronic Engineering


Dive into the research topics of 'Model generation using generalized lemma'. Together they form a unique fingerprint.

Cite this