| Presentation | 2019-12-06 Deciding Equivalence of The Rule List Policies via SAT solver Takashi Fuchino, Takashi Harada, Ken Tanaka, Kenji Mikawa, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Packet classification is to determine the behaviors of packets incoming to network devices. Since it is achieved using linear search on a classification rule list, a large number of rules leads to longer communication latency. To decrease this latency, various methods have been developed such as reordering rules and reconstructing rule list. These kind of rule lists need to keep the same policy as the rule list that was inputed. In this paper, we propose the method that deciding equivalence of the rule list using SAT solver. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | part classification / coNP-completea / heuristics / SAT solver / #P-complete / ZDD |
| Paper # | SITE2019-82 |
| Date of Issue | 2019-11-29 (SITE) |
| Conference Information | |
| Committee | SITE |
|---|---|
| Conference Date | 2019/12/6(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Tetsuya Morizumi(Kanagawa Univ.) |
| Vice Chair | Masaru Ogawa(Kobe Gakuin Univ.) / Takushi Otani(Kibi International Univ.) |
| Secretary | Masaru Ogawa(Toyo Eiwa Univ.) / Takushi Otani(KDDI Research) |
| Assistant | Nobuyuki Yoshinaga(Yamaguchi Pref Univ.) / Daisuke Suzuki(Hokuriku Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Social Implications of Technology and Information Ethics |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Deciding Equivalence of The Rule List Policies via SAT solver |
| Sub Title (in English) | |
| Keyword(1) | part classification |
| Keyword(2) | coNP-completea |
| Keyword(3) | heuristics |
| Keyword(4) | SAT solver |
| Keyword(5) | #P-complete |
| Keyword(6) | ZDD |
| 1st Author's Name | Takashi Fuchino |
| 1st Author's Affiliation | Kanagawa University(Kanagawa Univ.) |
| 2nd Author's Name | Takashi Harada |
| 2nd Author's Affiliation | Kochi University of Technology(Kochi Univ. of Tech) |
| 3rd Author's Name | Ken Tanaka |
| 3rd Author's Affiliation | Kanagawa University(Kanagawa Univ.) |
| 4th Author's Name | Kenji Mikawa |
| 4th Author's Affiliation | Niigata University(Niigata Univ.) |
| Date | 2019-12-06 |
| Paper # | SITE2019-82 |
| Volume (vol) | vol.119 |
| Number (no) | SITE-329 |
| Page | pp.pp.13-19(SITE), |
| #Pages | 7 |
| Date of Issue | 2019-11-29 (SITE) |