Login / Signup
Luca Müller
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Logic Synthesis
Boolean Satisfiability
Stochastic Local Search Algorithms
Sat Solvers
Top Venues
RC
DSD
</>
Publications
</>
Philipp Niemann
,
Luca Müller
,
Rolf Drechsler
Combining SWAPs and Remote CNOT Gates for Quantum Circuit Transformation.
DSD
(2021)
Philipp Niemann
,
Luca Müller
,
Rolf Drechsler
Finding Optimal Implementations of Non-native CNOT Gates Using SAT.
RC
(2021)