Quantum Algorithm Verification Using Prove-It.
Conference
·
OSTI ID:1807159
Abstract not provided.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Sandia National Lab. (SNL-CA), Livermore, CA (United States)
- Sponsoring Organization:
- USDOE Office of Science (SC), Advanced Scientific Computing Research (ASCR)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1807159
- Report Number(s):
- SAND2019-9130D; 678175
- Resource Relation:
- Conference: Proposed for presentation at the CIS EAB held August 27-28, 2019 in Albuquerque, NM.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Quantum Circuit and Algorithm Validation with Prove-It.
Verification of sliding mesh algorithms for complex applications using MMS.
Developing Fugitive Emissions Sensor Networks: New Optimization Algorithms for Monitoring Measurement and Verification.
Conference
·
Fri Mar 01 00:00:00 EST 2019
·
OSTI ID:1807159
Verification of sliding mesh algorithms for complex applications using MMS.
Conference
·
Tue Jun 01 00:00:00 EDT 2010
·
OSTI ID:1807159
Developing Fugitive Emissions Sensor Networks: New Optimization Algorithms for Monitoring Measurement and Verification.
Conference
·
Sat Oct 01 00:00:00 EDT 2016
·
OSTI ID:1807159
+2 more