Author of the publication

On the Generation of Multiplexer Circuits for Pass Transistor Logic.

, and . DATE, page 372-378. IEEE Computer Society / ACM, (2000)

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

Solving dependency quantified Boolean formulas using quantifier localization., , , and . Theor. Comput. Sci., (2022)Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR., , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 42 (4): 1351-1364 (April 2023)A Smart Capacitive Sensor Skin with Embedded Data Quality Indication for Enhanced Safety in Human-Robot Interaction., , , , and . Sensors, 21 (21): 7210 (2021)Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR., , , , , and . CoRR, (2021)From DQBF to QBF by Dependency Elimination., , , , and . MBMV, Universität Tübingen, (2018)Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries., , , and . ED&TC, page 229-234. IEEE Computer Society, (1997)Lemma localization: a practical method for downsizing SMT-interpolants., and . DATE, page 1405-1410. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling., , and . FMCAD, page 89-96. IEEE Computer Society, (2006)The QBF Solver AIGSolve., and . QBF@SAT, volume 1719 of CEUR Workshop Proceedings, page 55-62. CEUR-WS.org, (2016)Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling., , and . MBMV, page 135-144. Fraunhofer Institut für Integrierte Schaltungen, (2006)