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 Based on Kronecker-Galois Field Decision Diagrams for Multi-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 transformation 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 Using 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 Using Reordering-Based Synthesis
Proceedings of the 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
Parameters Affecting 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 Using 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
A 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.
