The following pages link to Mathias Soeken (Q491239):
Displaying 4 items.
- Ancilla-free synthesis of large reversible functions using binary decision diagrams (Q491242) (← links)
- The complexity of error metrics (Q1799556) (← links)
- Upper bounds for reversible circuits based on Young subgroups (Q2446569) (← links)
- Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models (Q3012970) (← links)
