1997 // Journal article
A genetic algorithm for RKRO minimization
Expert Systems with Applications
Drechsler, R.; Becker, B.; Göckel, N.
1997 // Conference paper
Circuit design from Kronecker Galois field decision diagrams for multiple-valued functions
Proceedings of The International Symposium on Multiple-Valued Logic
Stankovic, Radomir S.; Drechsler, Rolf
1997 // Conference paper
Decision Diagrams and AND/OR graphs for design automation problems
Proceedings of the International Conference on Information, Communications and Signal Processing, ICICS
Drechsler, Rolf; Kunz, Wolfgang; Stoffel, Dominik; Zuzek, Alenka
1997 // Conference paper
Decision diagrams in synthesis - algorithms, applications and extensions
Proceedings of the IEEE International Conference on VLSI Design
Becker, B.; Drechsler, R.
1997 // Conference paper
Efficient functional diagnosis for synchronous sequential circuits based on and/or graphs
International Symposium on IC Technology, Systems and Applications
Drechsler, R.; Žužek, A.
1997 // Conference paper
Evolutionary algorithms in computer aided design of integrated circuits
International Symposium on IC Technology, Systems and Applications
Drechsler, R.
1997 // Conference paper
EXOR transform of inputs to design efficient two-level AND/EXOR adders
International Symposium on IC Technology, Systems and Applications
Drechsler, R.; Becker, B.
1997 // Conference paper
Fast and efficient construction of bdds by reordering based synthesis
Proceedings of the 1997 European Conference on Design and Test, EDTC 1997
Hett, A.; Drechsler, R.; Becker, B.
1997 // Conference paper
Fast and efficient construction of BDDs by reordering based synthesis
Proceedings of European Design and Test Conference
Hett, Andreas; Drechsler, Rolf; Becker, Bernd
1997 // Conference paper
Fault simulation in sequential multi-valued logic networks
Proceedings of The International Symposium on Multiple-Valued Logic
Drechsler, Rolf; Keim, Martin; Becker, Bernd
1997 // Conference paper
Functional decomposition of MVL functions using multi-valued decision diagrams
Proceedings of The International Symposium on Multiple-Valued Logic
Files, Craig; Drechsler, Rolf; Perkowski, Marek A.
1997 // Conference paper
Functional simulation using binary decision diagrams
IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
Scholl, Christoph; Drechsler, Rolf; Becker, Bernd
1997 // Journal article
Genetic algorithm for data sequencing
Electronics Letters
Drechsler, R.; Göckel, N.
1997 // Conference paper
Influencing parameters of evolutionary algorithms for sequencing problems
Proceedings of the IEEE Conference on Evolutionary Computation, ICEC
Goeckel, Nicole; Drechsler, Rolf
1997 // Conference paper
Layout-driven synthesis for submicron technology: Mapping expansions to regular lattices
International Symposium on IC Technology, Systems and Applications
Perkowski, M.A.; Pierzchala, E.; Drechsler, R.
1997 // Conference paper
Learning heuristics for OKFDD minimization by evolutionary algorithms
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Goeckel, Nicole; Drechsler, Rolf; Becker, Bernd
1997 // Book
Manipulation algorithms for K*BMDs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Drechsler, R.; Becker, B.; Ruppertz, S.
1997 // Conference paper
Multi-layer detailed routing approach based on evolutionary algorithms
Proceedings of the IEEE Conference on Evolutionary Computation, ICEC
Goeckel, Nicole; Drechsler, Rolf; Becker, Bernd
1997 // Conference paper
Negation and duality in reduced ordered binary decision diagrams
IEEE Pacific RIM Conference on Communications, Computers, and Signal Processing - Proceedings
Miller, D.M.; Drechsler, R.
1997 // Journal article
On the Expressive Power of OKFDDs
Formal Methods in System Design
Becker, B.; Drechsler, R.; Theobald, M.
1997 // Conference paper
On the representational power of bit-level and word-level decision diagrams
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Becker, Bernd; Drechsler, Rolf; Enders, Reinhard
1997 // Conference paper
Ordered and shared, Linearly-Independent, variable-pair Decision Diagrams
Proceedings of the International Conference on Information, Communications and Signal Processing, ICICS
Perkowski, Marek; Jozwiak, Lech; Drechsler, Rolf; Falkowski, Bogdan
1997 // Journal article
Overview of decision diagrams
IEE Proceedings: Computers and Digital Techniques
Drechsler, R.; Becker, B.
1997 // Conference paper
Polynomial formal verification of multipliers
Proceedings of the IEEE VLSI Test Symposium
Keim, Martin; Martin, Michael; Becker, Bernd; Drechsler, Rolf; Molitor, Paul
1997 // Conference paper
Pseudo-Kronecker Expressions for symmetric functions
Proceedings of the IEEE International Conference on VLSI Design
Drechsler, R.
