( en | de | ru )

 

Disambiguierung von "Jiang, Jie-Hong R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Solving Stochastic Boolean Satisfiability under Random-Exist Quantification.

, , und . IJCAI, Seite 688-694. ijcai.org, (2017)

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

Simultaneous EUV Flare Variation Minimization and CMP Control with Coupling-Aware Dummification., , , und . DAC, Seite 54:1-54:6. ACM, (2014)SAT-Based On-Track Bus Routing., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 40 (4): 735-747 (2021)Design and Automation for Quantum Computation and Quantum Technologies., , , und . IEEE J. Emerg. Sel. Topics Circuits Syst., 12 (3): 581-583 (2022)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)Learning to Automate the Design Updates From Observed Engineering Changes in the Chip Development Cycle., , und . DATE, Seite 738-743. IEEE, (2020)Software Workarounds for Hardware Errors: Instruction Patch Synthesis., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 32 (12): 1992-2003 (2013)Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT., und . AAAI, Seite 3906-3914. AAAI Press, (2023)WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits., , , , , , und . ICCAD, Seite 1-9. IEEE, (2023)Canonicalization of threshold logic representation and its applications., , und . ICCAD, Seite 85. ACM, (2018)