Concepedia

Andreas Ganz

AG

Statistics

Publications

4

Citations

155

H-Index

4

Active since

1997

Affiliations

Technical University of Munich(Current)

Andreas Ganz is an author at Technical University of Munich specializing in boolean algebra, logic synthesis, and computer engineering.

Publications per year

1997–2003

4

Publications

4

A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists

Paul Tafertshofer, Andreas Ganz, M. Henftling · 1997 · 57 citations

Engineering, Computer Engineering, Computer Science +16

IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation

Paul Tafertshofer, Andreas Ganz, K. Antreich · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2000 · 56 citations

Engineering, Computer Engineering, Computer Science +16

SAT based ATPG using fast justification and propagation in the implication graph

Paul Tafertshofer, Andreas Ganz · 1999 · 24 citations

Computing, Computer Engineering, Computer Science +10

SAT based ATPG using fast justification and propagation in the implication graph

Paul Tafertshofer, Andreas Ganz · 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) · 2003 · 18 citations

Computing, Computer Engineering, Computer Science +10

1–4 of 4