David Michael Miller
University of Victoria
H-index: 39
North America-Canada
Top articles of David Michael Miller
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Automated Synthesis of Quantum Subcircuits | arXiv preprint arXiv:2309.01028 | Elena R Henderson Jessie M Henderson Aviraj Sinha Eric C Larson D Michael Miller | 2023/9/2 |
Automated quantum oracle synthesis with a minimal number of qubits | Jessie M Henderson Elena R Henderson Aviraj Sinha Mitchell A Thornton D Michael Miller | 2023/6/13 | |
Multiple-Valued Logic: Concepts and Representations | D Michael Miller Mitchell A Thornton | 2022/5/31 | |
Descending order transformation-based synthesis of MVL reversible circuits | D Michael Miller Gerhard W Dueck | 2021/5/25 | |
Translation Techniques for Reversible Circuit Synthesis with Positive and Negative Controls | D Michael Miller Gerhard W Dueck | 2021/1/25 | |
Function translations and search-based transformation for MVL reversible circuit synthesis | Science of Computer Programming | D Michael Miller Gerhard W Dueck | 2021/12/1 |
An algorithm for linear, affine and spectral classification of Boolean functions | Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems | D Michael Miller Mathias Soeken | 2020 |
Fast Minimization of Polynomial Decomposition using Fixed-Polarity Pascal Transforms | Kaitlin N Smith Mitchell A Thornton D Michael Miller | 2020/11/9 | |
A Spectral Algorithm for 3-valued Function Equivalence Classification. | Journal of Multiple-Valued Logic & Soft Computing | D Michael Miller Mathias Soeken | 2020/3/1 |
Search-based transformation synthesis for 3-valued reversible circuits | D Michael Miller Gerhard W Dueck | 2020 |