CUCINIELLO, GIANMARCO
CUCINIELLO, GIANMARCO
Dipartimento di Informatica Giovanni Degli Antoni
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.0 secondi).
Polynomial Verification of 2-Affine Spaces
2026 A. Bernasconi, V. Ciriani, G. Cuciniello, C. Dominik, R. Drechsler
PSOP decomposition for EXOR-based synthesis
2024 A. Bernasconi, V. Ciriani, G. Cuciniello, A. Taheri Monfared
On Exploiting PSOP Decomposition for Quantum Synthesis
2024 A. Bernasconi, V. Ciriani, G. Cuciniello, A. TAHERI MONFARED
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| Polynomial Verification of 2-Affine Spaces | 2026 | Ciriani, ValentinaCuciniello, Gianmarco + | Book Part (author) | - | |
| PSOP decomposition for EXOR-based synthesis | 2024 | Ciriani, ValentinaCuciniello, GianmarcoTaheri Monfared, Asma + | Article (author) | - | |
| On Exploiting PSOP Decomposition for Quantum Synthesis | 2024 | Valentina CirianiGianmarco CucinielloAsma Taheri Monfared + | Article (author) | - |