1 citations · 1 across the 3 of their papers we have counts for
4 papers
Phase transitions in quantum-circuit compilation
Andrea De Girolamo, Davide Rattacaso, Simone Notarnicola +2
Quantum-circuit compilation aims at finding an optimized realization of a target circuit under given constraints, e.g., the minimization of hardware-induced errors and the unitary-…
Quantum algorithms for equational reasoning
Davide Rattacaso, Daniel Jaschke, Marco Ballarin +2
As a cornerstone of automated reasoning, equational reasoning finds equivalences between symbolic expressions and fuels advances across scientific disciplines. Yet, its potential r…
Quantum algorithms for compact polymer thermodynamics
Davide Rattacaso, Daniel Jaschke, Antonio Trovato +2
Efficient sampling from ensembles of Hamiltonian cycles is critical for predicting the thermodynamic properties of compact polymers, with applications including modeling protein an…
Quantum circuit compilation with quantum computers
Davide Rattacaso, Daniel Jaschke, Marco Ballarin +2
Compilation optimizes quantum algorithms performances on real-world quantum computers. To date, it is performed via classical optimization strategies. We introduce a class of quant…