| 講演名 | 2023-01-24 Leveraging dynamic parameter for solution search acceleration in bio-inspired hardware SAT solver Anh Hoang Ngoc Nguyen(Fujitsu ltd.), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 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. |
| 抄録(英) | 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. |
| キーワード(和) | Amoeba-inspired / SAT solvers |
| キーワード(英) | Amoeba-inspired / SAT solvers |
| 資料番号 | VLD2022-71,RECONF2022-94 |
| 発行日 | 2023-01-16 (VLD, RECONF) |
| 研究会情報 | |
| 研究会 | IPSJ-SLDM / RECONF / VLD |
|---|---|
| 開催期間 | 2023/1/23(から2日開催) |
| 開催地（和） | 慶応義塾大学 日吉キャンパス 来往舎2階大会議室 |
| 開催地（英） | Raiosha, Hiyoshi Campus, Keio University |
| テーマ（和） | FPGA 応用および一般 |
| テーマ（英） | FPGA Applications, etc. |
| 委員長氏名（和） | 越智 裕之(立命館大) / 佐野 健太郎(理研) / 池田 奈美子(NTT) |
| 委員長氏名（英） | Hiroyuki Ochi(Ritsumeikan Univ.) / Kentaro Sano(RIKEN) / Minako Ikeda(NTT) |
| 副委員長氏名（和） | / 山口 佳樹(筑波大) / 泉 知論(立命館大) / 中武 繁寿(北九州市大) |
| 副委員長氏名（英） | / Yoshiki Yamaguchi(Tsukuba Univ.) / Tomonori Izumi(Ritsumeikan Univ.) / Shigetoshi Nakatake(Univ. of Kitakyushu) |
| 幹事氏名（和） | 川村 一志(東工大) / 今川 隆司(明大) / 細田 浩希(ソニーセミコンダクタソリューションズ) / 田中 勇気(日立) / 小林 悠記(NEC) / 佐藤 幸紀(豊橋技科大) / 宮村 信(ナノブリッジ・セミコンダクター) / 今井 雅(弘前大) |
| 幹事氏名（英） | Kazushi Kawamura(Tokyo Inst. of Tech.) / Takashi Imagawa(Meiji Univ.) / Hiroki Hosoda(Sony Semiconductor Solutions) / Yuki Tanaka(HITACHI) / Yuuki Kobayashi(NEC) / Yukinori Sato(Toyohashi Univ. of Tech.) / Makoto Miyamura(NBS) / Masashi Imai(Hirosaki Univ.) |
| 幹事補佐氏名（和） | / 竹村 幸尚(インテル) / 長名 保範(琉球大学) / 西元 琢真(日立) |
| 幹事補佐氏名（英） | / Yukitaka Takemura(INTEL) / Yasunori Osana(Ryukyu Univ.) / Takuma Nishimoto(Hitachi) |
| 講演論文情報詳細 | |
| 申込み研究会 | Special Interest Group on System and LSI Design Methodology / Technical Committee on Reconfigurable Systems / Technical Committee on VLSI Design Technologies |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | |
| サブタイトル（和） | |
| タイトル（英） | Leveraging dynamic parameter for solution search acceleration in bio-inspired hardware SAT solver |
| サブタイトル（和） | |
| キーワード(1)（和/英） | Amoeba-inspired / Amoeba-inspired |
| キーワード(2)（和/英） | SAT solvers / SAT solvers |
| 第 1 著者 氏名（和/英） | Anh Hoang Ngoc Nguyen / Anh Hoang Ngoc Nguyen |
| 第 1 著者 所属（和/英） | Fujitsu Limited(略称：Fujitsu ltd.) Fujitsu Limited(略称：Fujitsu ltd.) |
| 発表年月日 | 2023-01-24 |
| 資料番号 | VLD2022-71,RECONF2022-94 |
| 巻番号（vol） | vol.122 |
| 号番号（no） | VLD-353,RECONF-354 |
| ページ範囲 | pp.68-73(VLD), pp.68-73(RECONF), |
| ページ数 | 6 |
| 発行日 | 2023-01-16 (VLD, RECONF) |