Author of the publication

BooM: a decision procedure for boolean matching with abstraction and dynamic learning.

, , and . DAC, page 499-504. ACM, (2010)

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

Homing Sequence Derivation with Quantified Boolean Satisfiability., , , and . ICTSS, volume 10533 of Lecture Notes in Computer Science, page 230-242. Springer, (2017)Design and Automation for Quantum Computation and Quantum Technologies., , , and . IEEE J. Emerg. Sel. Topics Circuits Syst., 12 (3): 581-583 (2022)Logic Synthesis of Binarized Neural Networks for Efficient Circuit Implementation., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (4): 993-1005 (2022)SAT-Based On-Track Bus Routing., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 40 (4): 735-747 (2021)Constraint Solving for Synthesis and Verification of Threshold Logic Circuits., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 40 (5): 904-917 (2021)Simultaneous EUV Flare Variation Minimization and CMP Control with Coupling-Aware Dummification., , , and . DAC, page 54:1-54:6. ACM, (2014)QBF Resolution Systems and Their Proof Complexities., , and . SAT, volume 8561 of Lecture Notes in Computer Science, page 154-169. Springer, (2014)Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty., and . CoRR, (2019)Encoding multi-valued functions for symmetry., , , and . ICCAD, page 771-778. IEEE, (2013)Logic synthesis of binarized neural networks for efficient circuit implementation., and . ICCAD, page 84. ACM, (2018)