Publikationen

Seite 1 von 1.

1. Luca Müller; Rolf Drechsler

   SAT can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth

   In: 27th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2024), August 28-30, Paris, …

2. Luca Müller; Rolf Drechsler

   SAT can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth

   In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, …

3. Philipp Niemann; Luca Müller; Rolf Drechsler

   Combining SWAPs and Remote CNOT Gates for Quantum Circuit Transformation

   In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2021), September 1-3, Palermo/Virtual, …

4. Philipp Niemann; Luca Müller; Rolf Drechsler

   Finding Optimal Implementations of Non-native CNOT Gates using SAT

   In: 13th International Conference on Reversible Computation (RC). International Conference on Reversible Computation (RC-2021), July 7-8, Nagoya, …

• 1