Author of the publication

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.

 

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)Asynchronous QDI Circuit Synthesis from Signal Transition Protocols., , and . ICCAD, page 434-441. IEEE, (2015)Functional Dependency for Verification Reduction., and . CAV, volume 3114 of Lecture Notes in Computer Science, page 268-280. Springer, (2004)2QBF: Challenges and Solutions., , , , and . SAT, volume 9710 of Lecture Notes in Computer Science, page 453-469. Springer, (2016)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)Interpolating functions from large Boolean relations., , and . ICCAD, page 779-784. ACM, (2009)Reducing Multi-Valued Algebraic Operations to Binary., , and . DATE, page 10752-10757. IEEE Computer Society, (2003)Optimization of Multi-Valued Multi-Level Networks., , , , , , , and . ISMVL, page 168-179. IEEE Computer Society, (2002)Biochemical Threshold Function Implementation with Zero-Order Ultrasensitivity., , , and . BioCAS, page 1-4. IEEE, (2019)