( en | de | ru )

 

Disambiguierung von "Jiang, Jie-Hong R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Design partitioning for large-scale equivalence checking and functional correction.

, , und . DAC, Seite 23:1-23:6. ACM, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jie Jiang

Jie Jiang

Hong Jiang

Hong Jiang

Hong Jiang

 

Weitere Publikationen von Autoren mit dem selben Namen

SAT-Based On-Track Bus Routing., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 40 (4): 735-747 (2021)Homing Sequence Derivation with Quantified Boolean Satisfiability., , , und . ICTSS, Volume 10533 von Lecture Notes in Computer Science, Seite 230-242. Springer, (2017)Software Workarounds for Hardware Errors: Instruction Patch Synthesis., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 32 (12): 1992-2003 (2013)Learning to Automate the Design Updates From Observed Engineering Changes in the Chip Development Cycle., , und . DATE, Seite 738-743. IEEE, (2020)Design and Automation for Quantum Computation and Quantum Technologies., , , und . IEEE J. Emerg. Sel. Topics Circuits Syst., 12 (3): 581-583 (2022)Simultaneous EUV Flare Variation Minimization and CMP Control with Coupling-Aware Dummification., , , und . DAC, Seite 54:1-54:6. ACM, (2014)QBF Resolution Systems and Their Proof Complexities., , und . SAT, Volume 8561 von Lecture Notes in Computer Science, Seite 154-169. Springer, (2014)Encoding multi-valued functions for symmetry., , , und . ICCAD, Seite 771-778. IEEE, (2013)Partial Equivalence Checking of Quantum Circuits., , und . QCE, Seite 594-604. IEEE, (2022)Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT., und . AAAI, Seite 3906-3914. AAAI Press, (2023)