Pages that link to "Item:Q1705584"
From MaRDI portal
The following pages link to REVS: a tool for space-optimized reversible circuit synthesis (Q1705584):
Displayed 7 items.
- REVS (Q35338) (← links)
- Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3 (Q1698647) (← links)
- An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
- A framework for quantum-classical cryptographic translation (Q2239408) (← links)
- Generating Reversible Circuits from Higher-Order Functional Programs (Q3186607) (← links)
- (Q3385643) (← links)
- Improved reversible and quantum circuits for Karatsuba-based integer multiplication. (Q4637981) (← links)