( en | de | ru )

 

Disambiguation of "Jiang, Jie-Hong Roland"

Author of the publication

copydeleteadd this publication to your clipboard
2QBF: Challenges and Solutions.

, , , , and . SAT, volume 9710 of Lecture Notes in Computer Science, page 453-469. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jie Jiang

Jie Jiang

Hong Jiang

Hong Jiang

Hong Jiang

 

Other publications of authors with the same name

Bi-decomposing large Boolean functions via interpolation and satisfiability solving., , and . DAC, page 636-641. ACM, (2008)Reducing Multi-Valued Algebraic Operations to Binary., , and . DATE, page 10752-10757. IEEE Computer Society, (2003)Functional Dependency for Verification Reduction., and . CAV, volume 3114 of Lecture Notes in Computer Science, page 268-280. Springer, (2004)Asynchronous QDI Circuit Synthesis from Signal Transition Protocols., , and . ICCAD, page 434-441. IEEE, (2015)2QBF: Challenges and Solutions., , , , and . SAT, volume 9710 of Lecture Notes in Computer Science, page 453-469. Springer, (2016)Optimization of Multi-Valued Multi-Level Networks., , , , , , , and . ISMVL, page 168-179. IEEE Computer Society, (2002)Interpolating functions from large Boolean relations., , and . ICCAD, page 779-784. ACM, (2009)Inductive equivalence checking under retiming and resynthesis., and . ICCAD, page 326-333. IEEE Computer Society, (2007)On breakable cyclic definitions., , and . ICCAD, page 411-418. IEEE Computer Society / ACM, (2004)Synthesis of Nondeterministic Behavior in Recombinase-Based Genetic Circuits., , and . ISMVL, page 200-205. IEEE, (2019)