Pages that link to "Item:Q4930580"
From MaRDI portal
The following pages link to Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT (Q4930580):
Displayed 6 items.
- Synchronous counting and computational algorithm design (Q896024) (← links)
- Improved upper bounds for the expected circuit complexity of dense systems of linear equations over \(\mathrm{GF}(2)\) (Q1641147) (← links)
- Logic minimization techniques with applications to cryptology (Q2377070) (← links)
- A new matrix form to generate all \(3\times 3\) involutory MDS matrices over \(\mathbb{F}_{2^m}\) (Q2414052) (← links)
- Optimizing S-Box Implementations for Several Criteria Using SAT Solvers (Q4639475) (← links)
- Synthesizing quantum circuits of AES with lower \(T\)-depth and less qubits (Q6135451) (← links)