Solving Verification & Validation Problems with Quantum Annealing Samplers
Abstract
This effort determines the extent to which quantum annealer computing (QuAnCo) systems can provide a powerful platform for achieving quantum enhancements in tasks of counting or listing the solutions of verification and validation (V&V) problems. The results of this study will provide important insight into the computational power of quantum devices to assist traditional algorithms in finding bugs of V&V problems of relevance to the US Air Force and DoD.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- May 01, 2018
- Source ID
- FA87501810109
Entities
People
- Itay Hen
Organizations
- Rome Laboratory
- United States Air Force
- University of Southern California