| Presentation | 2023-01-24 Leveraging dynamic parameter for solution search acceleration in bio-inspired hardware SAT solver Anh Hoang Ngoc Nguyen, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | For decision making, various systems need to solve combinatorial optimization problems, which are often encoded as a Satisfiability (SAT) problem. AmoebaSAT, a solution search engine for SAT problem, has been introduced with high parallelism and feasibility for hardware implementation. However, solution search time is still hindered due to redundant variable flips during the search. This work proposes a method to further accelerate the solution search in AmoebaSAT by applying a dynamic stochastic parameter to discourage useless flips, while maintaining the feasibility for hardware implementation. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Amoeba-inspired / SAT solvers |
| Paper # | VLD2022-71,RECONF2022-94 |
| Date of Issue | 2023-01-16 (VLD, RECONF) |
| Conference Information | |
| Committee | IPSJ-SLDM / RECONF / VLD |
|---|---|
| Conference Date | 2023/1/23(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Raiosha, Hiyoshi Campus, Keio University |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | FPGA Applications, etc. |
| Chair | Hiroyuki Ochi(Ritsumeikan Univ.) / Kentaro Sano(RIKEN) / Minako Ikeda(NTT) |
| Vice Chair | / Yoshiki Yamaguchi(Tsukuba Univ.) / Tomonori Izumi(Ritsumeikan Univ.) / Shigetoshi Nakatake(Univ. of Kitakyushu) |
| Secretary | (Tokyo Inst. of Tech.) / Yoshiki Yamaguchi(Meiji Univ.) / Tomonori Izumi(Sony Semiconductor Solutions) / Shigetoshi Nakatake(HITACHI) |
| Assistant | / Yukitaka Takemura(INTEL) / Yasunori Osana(Ryukyu Univ.) / Takuma Nishimoto(Hitachi) |
| Paper Information | |
| Registration To | Special Interest Group on System and LSI Design Methodology / Technical Committee on Reconfigurable Systems / Technical Committee on VLSI Design Technologies |
|---|---|
| Language | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Leveraging dynamic parameter for solution search acceleration in bio-inspired hardware SAT solver |
| Sub Title (in English) | |
| Keyword(1) | Amoeba-inspired |
| Keyword(2) | SAT solvers |
| 1st Author's Name | Anh Hoang Ngoc Nguyen |
| 1st Author's Affiliation | Fujitsu Limited(Fujitsu ltd.) |
| Date | 2023-01-24 |
| Paper # | VLD2022-71,RECONF2022-94 |
| Volume (vol) | vol.122 |
| Number (no) | VLD-353,RECONF-354 |
| Page | pp.pp.68-73(VLD), pp.68-73(RECONF), |
| #Pages | 6 |
| Date of Issue | 2023-01-16 (VLD, RECONF) |