Pages that link to "Item:Q3186609"
From MaRDI portal
The following pages link to Checking Reversibility of Boolean Functions (Q3186609):
Displaying 3 items.
- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs (Q3186590) (← links)
- Application of SAT solvers to the problem of finding vector Boolean functions with required cryptographic properties (Q5878632) (← links)
- Toffoli-depth reduction method preserving in-place quantum circuits and its application to SHA3-256 (Q6547301) (← links)