Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mathias Soeken
Boolean Satisfiability in Quantum Compilation
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Quantum Circuit Optimization by Hadamard Gate Reduction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Majority Logic Synthesis
Formal Verification of Integer Multipliers by Combining Gröbner Basis With Logic Reduction
Hierarchical Synthesis of Reversible Circuits Using Positive and Negative Davio Decomposition
Synthesis of Reversible Circuits With Minimal Lines for Large Functions
