Concepedia

Satoshi Jo

SJ

Statistics

Publications

4

Citations

103

H-Index

4

Active since

2012

Affiliations

The University of Tokyo(Current)

Satoshi Jo is an author at The University of Tokyo specializing in computer science, combinational equivalence checking, and computer engineering.

Publications per year

2012–2014

4

Publications

4

SAT-Based Automatic Rectification and Debugging of Combinational Circuits with LUT Insertions

Satoshi Jo, Takeshi Matsumoto, Masahiro Fujita · 2012 · 45 citations

Engineering, Computer Engineering, Computer Science +14

Partial synthesis through sampling with and without specification

Masahiro Fujita, Satoshi Jo, Shohei Ono et al. · 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) · 2013 · 26 citations

Engineering, Computer Engineering, Computer Science +17

Partial synthesis through sampling with and without specification

Masahiro Fujita, Satoshi Jo, Shohei Ono et al. · International Conference on Computer Aided Design · 2013 · 19 citations

Engineering, Computer Engineering, Computer Science +17

SAT-based Automatic Rectification and Debugging of Combinational Circuits with LUT Insertions

Satoshi Jo, Takeshi Matsumoto, Masahiro Fujita · IPSJ Transactions on System and LSI Design Methodology · 2014 · 13 citations · Full text

Engineering, Computer Engineering, Computer Science +14

1–4 of 4