Davide Venturelli

Orcid: 0000-0003-0452-7603

According to our database1, Davide Venturelli authored at least 40 papers between 2014 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Copositive Framework for Analysis of Hybrid Ising-Classical Algorithms.
SIAM J. Optim., 2024

Assessing and advancing the potential of quantum computing: A NASA case study.
Future Gener. Comput. Syst., 2024

Combinatorial Reasoning: Selecting Reasons in Generative AI Pipelines via Combinatorial Optimization.
CoRR, 2024

X-ResQ: Reverse Annealing for Quantum MIMO Detection with Flexible Parallelism.
CoRR, 2024

Benchmarking the Operation of Quantum Heuristics and Ising Machines: Scoring Parameter Setting Strategies on Optimization Applications.
CoRR, 2024

Utilizing modern computer architectures to solve mathematical optimization problems: A survey.
Comput. Chem. Eng., 2024

Leveraging Quantum Computing for Database Index Selection.
Proceedings of the Workshop on Quantum Computing and Quantum-Inspired Technology for Data-Intensive Systems and Applications, 2024

Accelerating Continuous Variable Coherent Ising Machines via Momentum.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

2023
Inter-generational comparison of quantum annealers in solving hard scheduling problems.
Quantum Inf. Process., October, 2023

Design and execution of quantum circuits using tens of superconducting qubits and thousands of gates for dense Ising optimization problems.
CoRR, 2023

Uplink MIMO Detection using Ising Machines: A Multi-Stage Ising Approach.
CoRR, 2023

2022
Ising Machines' Dynamics and Regularization for Near-Optimal MIMO Detection.
IEEE Trans. Wirel. Commun., 2022

Correction to: Mixer‑phaser ansätze for quantum optimization with hard constraints.
Quantum Mach. Intell., 2022

Mixer-phaser Ansätze for quantum optimization with hard constraints.
Quantum Mach. Intell., 2022

Copositive programming for mixed-binary quadratic optimization via Ising solvers.
CoRR, 2022

A Finite-Range Search Formulation of Maximum Likelihood MIMO Detection for Coherent Ising Machines.
CoRR, 2022

Warm-started quantum sphere decoding via reverse annealing for massive IoT connectivity.
Proceedings of the ACM MobiCom '22: The 28th Annual International Conference on Mobile Computing and Networking, Sydney, NSW, Australia, October 17, 2022

Perturbation-based Formulation of Maximum Likelihood MIMO Detection for Coherent Ising Machines.
Proceedings of the IEEE Global Communications Conference, 2022

Regularized Ising Formulation for Near-Optimal MIMO Detection using Quantum Inspired Solvers.
Proceedings of the IEEE Global Communications Conference, 2022

2021
Heuristic Quantum Optimization for 6G Wireless Communications.
IEEE Netw., 2021

Ising Machines' Dynamics and Regularization for Near-Optimal Large and Massive MIMO Detection.
CoRR, 2021

Physics-inspired heuristics for soft MIMO detection in 5G new radio and beyond.
Proceedings of the ACM MobiCom '21: The 27th Annual International Conference on Mobile Computing and Networking, 2021

Quantum Annealing for Large MIMO Downlink Vector Perturbation Precoding.
Proceedings of the ICC 2021, 2021

2020
Quantum Annealing Applied to De-Conflicting Optimal Trajectories for Air Traffic Management.
IEEE Trans. Intell. Transp. Syst., 2020

Towards Hybrid Classical-Quantum Computation Structures in Wirelessly-Networked Systems.
Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

Planning for Compilation of a Quantum Algorithm for Graph Coloring.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Integer Programming Techniques for Minor-Embedding in Quantum Annealers.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019
Reverse quantum annealing approach to portfolio optimization problems.
Quantum Mach. Intell., 2019

From the Quantum Approximate Optimization Algorithm to a Quantum Alternating Operator Ansatz.
Algorithms, 2019

Leveraging quantum annealing for large MIMO processing in centralized radio access networks.
Proceedings of the ACM Special Interest Group on Data Communication, 2019

2018
Scaling advantages of all-to-all connectivity in physical annealers: the Coherent Ising Machine vs. D-Wave 2000Q.
CoRR, 2018

Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation.
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017
A NASA perspective on quantum computing: Opportunities and challenges.
Parallel Comput., 2017

Compiling Quantum Circuits to Realistic Hardware Architectures using Temporal Planners.
CoRR, 2017

Temporal Planning for Compilation of Quantum Approximate Optimization Circuits.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
Comparing planning problem compilation approaches for quantum annealing.
Knowl. Eng. Rev., 2016

A Hybrid Quantum-Classical Approach to Solving Scheduling Problems.
Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem.
Proceedings of the Planning for Hybrid Systems, 2016

2015
A case study in programming a quantum annealer for hard operational planning problems.
Quantum Inf. Process., 2015

2014
Parametrized Families of Hard Planning Problems from Phase Transitions.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014


  Loading...