Details
Title
Soeken, Mathias
Sciper ID
263922
Affiliated labs
LSI1
Publications
A Compiler for Parallel and Resource-Constrained Programmable in-Memory Computing
A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis
BDD Minimization for Approximate Computing
Busy Man’s Synthesis: Combinational Delay Optimization With SAT
Canonical Computation without Canonical Representation
Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation
Enumeration of reversible functions and its application to circuit complexity
Evaluation Of Crystal Structures With Partial Occupancies Using Boolean Satisfiability Techniques In Struplox
Fast Hierarchical NPN Classification
Heuristic NPN classification for large functions using AIGs and LEXSAT
See complete list of publications (92)
A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis
BDD Minimization for Approximate Computing
Busy Man’s Synthesis: Combinational Delay Optimization With SAT
Canonical Computation without Canonical Representation
Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation
Enumeration of reversible functions and its application to circuit complexity
Evaluation Of Crystal Structures With Partial Occupancies Using Boolean Satisfiability Techniques In Struplox
Fast Hierarchical NPN Classification
Heuristic NPN classification for large functions using AIGs and LEXSAT
See complete list of publications (92)
Link to search
All resources
Record appears in
Authorities > People