Paper Abstract and Keywords |
Presentation |
2021-06-09 15:00
An implementation of a satisfiability problem solver : Amoeba SAT on M-KUBOS board Yan Ying Jie, Masashi Aono, Hideharu Amano (Keio Univ.), Kaori Ohkoda, Shingo Fukuda, Saito Kenta (Amoeba Energy), Seiya Kasai (Hokkaido Univ.) RECONF2021-13 |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
(Not available yet) |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
SAT / AmoebaSAT / FPGA / / / / / |
Reference Info. |
IEICE Tech. Rep., vol. 121, no. 59, RECONF2021-13, pp. 68-73, June 2021. |
Paper # |
RECONF2021-13 |
Date of Issue |
2021-06-01 (RECONF) |
ISSN |
Online edition: ISSN 2432-6380 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Notes on Review |
This article is a technical report without peer review, and its polished version will be published elsewhere. |
Download PDF |
RECONF2021-13 |
Conference Information |
Committee |
RECONF |
Conference Date |
2021-06-08 - 2021-06-09 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Online |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
Reconfigurable system, etc. |
Paper Information |
Registration To |
RECONF |
Conference Code |
2021-06-RECONF |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
An implementation of a satisfiability problem solver : Amoeba SAT on M-KUBOS board |
Sub Title (in English) |
|
Keyword(1) |
SAT |
Keyword(2) |
AmoebaSAT |
Keyword(3) |
FPGA |
Keyword(4) |
|
Keyword(5) |
|
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Yan Ying Jie |
1st Author's Affiliation |
Keui University (Keio Univ.) |
2nd Author's Name |
Masashi Aono |
2nd Author's Affiliation |
Keui University (Keio Univ.) |
3rd Author's Name |
Hideharu Amano |
3rd Author's Affiliation |
Keui University (Keio Univ.) |
4th Author's Name |
Kaori Ohkoda |
4th Author's Affiliation |
Amoeba Energy (Amoeba Energy) |
5th Author's Name |
Shingo Fukuda |
5th Author's Affiliation |
Amoeba Energy (Amoeba Energy) |
6th Author's Name |
Saito Kenta |
6th Author's Affiliation |
Amoeba Energy (Amoeba Energy) |
7th Author's Name |
Seiya Kasai |
7th Author's Affiliation |
Hokaido University (Hokkaido Univ.) |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2021-06-09 15:00:00 |
Presentation Time |
25 minutes |
Registration for |
RECONF |
Paper # |
RECONF2021-13 |
Volume (vol) |
vol.121 |
Number (no) |
no.59 |
Page |
pp.68-73 |
#Pages |
6 |
Date of Issue |
2021-06-01 (RECONF) |
|