Mathias Soeken

Available identifiers

zbMath Open soeken.mathiasDBLP20/3466WikidataQ102416100 ScholiaQ102416100MaRDI QIDQ491239

List of research outcomes

Publication	Date of Publication	Type
An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions	2024-01-23	Paper
Improved Quantum Circuits for Elliptic Curve Discrete Logarithms	2022-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q5020632	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5020633	2022-01-06	Paper
Boolean satisfiability in quantum compilation	2021-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q5144374	2021-01-15	Paper
Mapping Monotone Boolean Functions into Majority	2019-08-13	Paper
The complexity of error metrics	2018-10-19	Paper
Pairs of majority-decomposing functions	2018-10-19	Paper
Quantum circuits for floating-point arithmetic	2018-10-17	Paper
SAT-based {CNOT, \(T\)} quantum circuit synthesis	2018-10-17	Paper
Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics	2016-09-30	Paper
Technology Mapping for Single Target Gate Based Circuits Using Boolean Functional Decomposition	2016-09-30	Paper
Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT	2016-09-05	Paper
Enumeration of Reversible Functions and Its Application to Circuit Complexity	2016-08-10	Paper
A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis	2016-08-10	Paper
Complexity of reversible circuits and their quantum implementations	2016-02-18	Paper
Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams	2015-11-30	Paper
Using πDDs in the Design of Reversible Circuits	2015-11-30	Paper
Ancilla-free synthesis of large reversible functions using binary decision diagrams	2015-08-24	Paper
Translating between the roots of the identity in quantum computers	2015-03-30	Paper
Self-Inverse Functions and Palindromic Circuits	2015-02-20	Paper
Quantum Circuit Optimization by Hadamard Gate Reduction	2014-09-02	Paper
Mapping NCV Circuits to Optimized Clifford+T Circuits	2014-09-02	Paper
Upper bounds for reversible circuits based on Young subgroups	2014-04-17	Paper
White Dots do Matter: Rewriting Reversible Logic Circuits	2013-12-17	Paper
Reducing the Depth of Quantum Circuits Using Additional Circuit Lines	2013-12-17	Paper
Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models	2011-07-07	Paper

Research outcomes over time

This page was built for person: Mathias Soeken