Sign in
David Winderl
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Sat Instances
Solving Hard
Stable Marriage
Propositional Satisfiability
Top Venues
I4CS
CoRR
QCE
</>
Publications
</>
David Winderl
,
Qunsheng Huang
,
Christian B. Mendl
A Recursively Partitioned Approach to Architecture-Aware ZX Polynomial Synthesis and Optimization.
QCE
(2023)
David Winderl
,
Nicola Franco
,
Jeanette Miriam Lorenz
Quantum Neural Networks under Depolarization Noise: Exploring White-Box Attacks and Defenses.
CoRR
(2023)
Christoph Roch
,
David Winderl
,
Claudia Linnhoff-Popien
,
Sebastian Feld
A Quantum Annealing Approach for Solving Hard Variants of the Stable Marriage Problem.
I4CS
(2022)