Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Bartosz Ziólko
Tidjani Négadi
Jhonathan Pinzon
Liangliang Shang
Giovanni Venturelli
Chen Ma
Jing-Sheng Wong
Ning Lu
Radu Timofte
Gao Xiaopeng
Home
/
Author
/
CHIH-JEN HSU
Author Info
Open Visualization
Name
Affiliation
Papers
CHIH-JEN HSU
Cadence Taiwan, Inc., Hsin-Chu City, Taiwan
9
Collaborators
Citations
PageRank
15
32
4.95
Referers
Referees
References
89
89
45
Publications (9 rows)
Collaborators (15 rows)
Referers (89 rows)
Referees (89 rows)
Title
Citations
PageRank
Year
ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk
0
0.34
2020
2019 CAD Contest: Logic Regression on High Dimensional Boolean Space
1
0.37
2019
ICCAD-2017 CAD contest in resource-aware patch generation.
0
0.34
2017
ICCAD-2016 CAD contest in non-exact projective NPNP boolean matching and benchmark suite.
2
0.41
2016
ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite
2
0.91
2015
ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite
0
0.34
2014
ICCAD-2013 CAD contest in technology mapping for macro blocks and benchmark suite
1
0.35
2013
SoC HW/SW verification and validation
24
1.49
2011
Interpolant generation without constructing resolution graph
2
0.40
2009
1