He-Teng Zhang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2018–2021
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | DAC | Deep Integration of Circuit Simulator and SAT Solver. | He-Teng Zhang, Jie-Hong R. Jiang, Luca G. Amar, Alan Mishchenko, Robert K. Brayton |
| 2021 | ICCAD | A Circuit-Based SAT Solver for Logic Synthesis. | He-Teng Zhang, Jie-Hong R. Jiang, Alan Mishchenko |
| 2020 | DAC | SFO: A Scalable Approach to Fanout-Bounded Logic Synthesis for Emerging Technologies. | He-Teng Zhang, Jie-Hong R. Jiang |
| 2018 | DAC | Cost-aware patch generation for multi-target function rectification of engineering change orders. | He-Teng Zhang, Jie-Hong R. Jiang |