| Presentation | 2001/5/11 An Analysis of Lemmas Extracted from Model Generation Proofs for Sudoku (Number Place) Puzzle : Toward Lemma Generalization Junichi Shimizu, Miyuki Koshimura, Ryuzo Hasegawa, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | We can prune search spaces of "Sudoku Puzzle" with lemmas which are extracted from model generation proofs. These lemmas are represented as ground expressions and applicable to very special situations. This paper analyses lemmas so as to generalize them. The analysis gives a lemma generaization method. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | model generation / Sudoku (Number Place) puzzle / lemma generaization / proof condensation / folding-up |
| Paper # | AI2001-5 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 2001/5/11(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | An Analysis of Lemmas Extracted from Model Generation Proofs for Sudoku (Number Place) Puzzle : Toward Lemma Generalization |
| Sub Title (in English) | |
| Keyword(1) | model generation |
| Keyword(2) | Sudoku (Number Place) puzzle |
| Keyword(3) | lemma generaization |
| Keyword(4) | proof condensation |
| Keyword(5) | folding-up |
| 1st Author's Name | Junichi Shimizu |
| 1st Author's Affiliation | Graduate School of Information Science and Electrical Engineering Kyushu University() |
| 2nd Author's Name | Miyuki Koshimura |
| 2nd Author's Affiliation | Graduate School of Information Science and Electrical Engineering Kyushu University |
| 3rd Author's Name | Ryuzo Hasegawa |
| 3rd Author's Affiliation | Graduate School of Information Science and Electrical Engineering Kyushu University |
| Date | 2001/5/11 |
| Paper # | AI2001-5 |
| Volume (vol) | vol.101 |
| Number (no) | 66 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |