Beaverton, Oregon
United States
5
2026-04-02
The entities that hold a legal rights for patent applications filed by inventor JONES Robert:
Robert JONES from Beaverton, US has applied for patents for these inventions. The list has both pending applications and granted patents:
CACHING IN A SOLVER SYSTEM
#2 | 2026-03-10Caching in a solver system
#3 | 2025-04-03SAMPLING LARGE LANGUAGE MODELS WITH EQUIVALENCE CHECKING
#4 | 2024-10-03CLOUD-BASED QUANTUM COMPILATION SERVICE FOR QUANTUM CIRCUIT MAPPING USING SAT SOLVING TECHNIQUES
#5 | 2024-06-20AN EAGER SAT-BASED SOLVER FOR A QUANTIFIER-FREE THEORY OF STRINGS AND BIT VECTORS
6695370 ⎘