Bruno Dutertre

Follow

Person

Mountain View, CA, US

People

Patents Applicationslast 30 patents

Information Patent Application
CLOUD-BASED QUANTUM COMPILATION SERVICE FOR QUANTUM CIRCUIT MAPPING...
- Publication number 20240330735
- Publication date Oct 3, 2024
- AMAZON TECHNOLOGIES, INC.
- Yunong Shi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AN EAGER SAT-BASED SOLVER FOR A QUANTIFIER-FREE THEORY OF STRINGS A...
- Publication number 20240202545
- Publication date Jun 20, 2024
- AMAZON TECHNOLOGIES, INC.
- Kevin LOTZ
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MULTIPATH VERIFICATION OF DATA TRANSFORMS IN A SYSTEM OF SYSTEMS
- Publication number 20220197881
- Publication date Jun 23, 2022
- SRI International
- Bruno Dutertre
- G06 - COMPUTING CALCULATING COUNTING