Amit GOEL

Follow

Person

Portland, OR, US

People

Patents Applicationslast 30 patents

Information Patent Application
SHADOW SATISFIABILITY MODULO THEORIES SOLVER SYSTEMS
- Publication number 20240330709
- Publication date Oct 3, 2024
- AMAZON TECHNOLOGIES, INC.
- Alexandre DAVID
- 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