Concepedia

Paul Tafertshofer

PT

Statistics

Publications

5

Citations

187

H-Index

5

Active since

1997

Affiliations

Technical University of Munich(Current)

Paul Tafertshofer is an author at Technical University of Munich specializing in algorithms, computer science, and boolean algebra.

Publications per year

1997–2003

5

Publications

5

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

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

, , +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

, , +16

Factored Edge-Valued Binary Decision Diagrams

Paul Tafertshofer, Massoud Pedram · Formal Methods in System Design · 1997 · 32 citations

, , +6

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

Paul Tafertshofer, Andreas Ganz · 1999 · 24 citations

, , +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

, , +10

1–5 of 5