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

Model generation using generalized lemma. / Shimizu, Junichi; Koshimura, Miyuki; Fujita, Hiroshi; Hasegawa, Ryuzo.

In: Research Reports on Information Science and Electrical Engineering of Kyushu University, Vol. 8, No. 1, 01.01.2003, p. 55-59.

Research output: Contribution to journalArticle

@article{9a4137e3d35d4113b433fbd1485413e2,
title = "Model generation using generalized lemma",
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.",
author = "Junichi Shimizu and Miyuki Koshimura and Hiroshi Fujita and Ryuzo Hasegawa",
year = "2003",
month = "1",
day = "1",
language = "English",
volume = "8",
pages = "55--59",
journal = "Research Reports on Information Science and Electrical Engineering of Kyushu University",
issn = "1342-3819",
publisher = "Kyushu University, Faculty of Science",
number = "1",

}

TY - JOUR

T1 - Model generation using generalized lemma

AU - Shimizu, Junichi

AU - Koshimura, Miyuki

AU - Fujita, Hiroshi

AU - Hasegawa, Ryuzo

PY - 2003/1/1

Y1 - 2003/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0037498179&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0037498179&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0037498179

VL - 8

SP - 55

EP - 59

JO - Research Reports on Information Science and Electrical Engineering of Kyushu University

JF - Research Reports on Information Science and Electrical Engineering of Kyushu University

SN - 1342-3819

IS - 1

ER -