Login / Signup
Kaori Ohkoda
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 3
Top Topics
Satisfiability Problem
Mazurkiewicz Traces
Fpga Implementation
Synaptic Weights
Top Venues
IRPS
FPT
CANDARW
</>
Publications
</>
Pengyu Huang
,
Kaijie Wei
,
Hideharu Amano
,
Kaori Ohkoda
,
Masashi Aono
Multi-board FPGA Implementation to Solve the Satisfiability Problem for Multi-Agent Path Finding in Smart Factory.
CANDARW
(2022)
Ying Jie Yan
,
Hideharu Amano
,
Masashi Aono
,
Kaori Ohkoda
,
Shingo Fukuda
,
Kenta Saito
,
Seiya Kasai
Resource-saving FPGA Implementation of the Satisfiability Problem Solver: AmoebaSATslim.
FPT
(2021)
Song-Ju Kim
,
Kaori Ohkoda
,
Masashi Aono
,
Hisashi Shima
,
Makoto Takahashi
,
Yasuhisa Naitoh
,
Hiroyuki Akinaga
Reinforcement Learning System Comprising Resistive Analog Neuromorphic Devices.
IRPS
(2019)