Masato Seo

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Quantified Boolean Formulas

Software Implementation

Hardware Architectures

Top Venues

Publications

Takashi Yoza, Retsu Moriwaki, Yuki Torigai, Yuki Kamikubo, Takayuki Kubota, Takahiro Watanabe, Takumi Fujimori, Hiroyuki Ito, Masato Seo, Kouta Akagi, Yuichiro Yamaji, Minoru Watanabe
FPGA Blokus Duo Solver using a massively parallel architecture. FPT (2013)