Robotics Innovation Center

Page 13 of 14.

1. Shuo Yang; Robert Wille; Daniel Grosse; Rolf Drechsler

   Minimal Stimuli Generation in Simulation-based Verification

   In: José Silva Matos; Francesco Leporati (Hrsg.). 16th Euromicro Conference on Digital System Design - Proceedings. Euromicro Conference on Digital …

2. Robert Wille; Nils Przigoda; Rolf Drechsler

   A Compact and Efficient SAT Encoding for Quantum Circuits

   In: IEEE AFRICON 2013 Proceedings. IEEE AFRICON (AFRICON-13), September 9-12, Mauritius, Mauritius, IEEE, 2013.

3. Robert Wille; Simon Stelter; Rolf Drechsler

   Exploiting Reversibility in the Complete Simulation of Reversible Circuits

   In: IEEE AFRICON 2013 Proceedings. IEEE AFRICON (AFRICON-13), September 9-12, Mauritius, Mauritius, IEEE, 2013.

4. Stephan Eggersglüß; Robert Wille; Rolf Drechsler

   Improved SAT-based ATPG: More Constraints, Better Compaction

   In: Proceedings of the 2013 IEEE/ACM International Conference on Computer-Aided Design. IEEE/ACM International Conference on Computer-Aided Design …

5. Robert Wille; Mathias Soeken; D. Michael Miller; Rolf Drechsler

   Trading Off Circuit Lines and Gate Costs in the Synthesis of Reversible Logic

   In: Integration, the VLSI Journal, Elsevier, 2013.

6. Rolf Drechsler; Mathias Soeken; Robert Wille

   Formal Specification Level

   In: Jan Haase (Hrsg.). Models, Methods and Tools for Complex Chip Design. Chapter 3, Pages 37-52, Vol. 265, ISBN 978-3-319-01417-3, Springer, 2013.

7. Nabila Abdessaied; Mathias Soeken; Robert Wille; Rolf Drechsler

   Exact Ttemplate Matching using Boolean Satisfiability

   In: International Symposium on Multiple-Valued Logic. International Symposium on Mathematical Foundations of Computer Science (MFCS), Pages 328-333, …

8. Nabila Abdessaied; Robert Wille; Mathias Soeken; Rolf Drechsler

   Reducing the depth of quantum circuits using additional circuit lines

   In: International Conference on Reversible Computation - Proceedings. International Conference on Reversible Computation (RC), Pages 221-233, …

9. Nabila Abdessaied; Mathias Soeken; Robert Wille; Rolf Drechsler

   Exact Template Matching Using Boolean Satisfiability

   In: Proceedings of the 43rd International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2013), …

10. Mathias Soeken; Robert Wille; Christoph Hilken; Nils Przigoda; Rolf Drechsler

    Synthesis of Reversible Circuits with Minimal Lines for Large Functions

    In: Conference Proceedings. Asia and South Pacific Design Automation Conference (ASP-DAC-12), 17th, January 30 - February 2, Sydney, New South Wales, …

• previous
• 1
• …
• 12
• 13
• 14