Concepedia

Andreas Kuehlmann

AK

Statistics

Publications

41

Citations

2.5K

H-Index

25

Active since

1992

Affiliations

Cadence Design Systems (United States)(Current)

Lawrence Berkeley National Laboratory

University of California, Berkeley

IBM Research - Thomas J. Watson Research Center

IBM (United States)

Andreas Kuehlmann is an author at Cadence Design Systems (United States) specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationAutomated ReasoningSystems EngineeringComputer ArchitectureProgram Analysis

Publications per year

1992–2013

41

Publications

41

Robust Boolean reasoning for equivalence checking and functional property verification

Andreas Kuehlmann, Viresh Paruthi, F. Krohm et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2002 · 324 citations

Engineering, Verification, Computer-aided Verification +17

Equivalence checking using cuts and heaps

Andreas Kuehlmann, F. Krohm · 1997 · 250 citations

Circuit Complexity, Engineering, Verification +18

Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design

Lawrence T. Pileggi, Andreas Kuehlmann · 2002 · 235 citations

Engineering, Accelerated Design, Electronic Design Automation +19

Circuit-based Boolean Reasoning

Andreas Kuehlmann, Malay Ganai, Viresh Paruthi · 2001 · 151 citations

Circuit Complexity, Engineering, Boolean Function +18

A fast pseudo-boolean constraint solver

Donald Chai, Andreas Kuehlmann · 2003 · 117 citations

Mathematical Programming, Constraint Solving, Linear Pseudo-boolean +14

1–5 of 41