Distributed decomposition of string-automated reasoning using predicates
US11861409B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Mar 31, 2021 |
| Grant date | Jan 2, 2024 |
| Priority date | — |
| Expiry date | May 26, 2041 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06N5/043
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Techniques are described for efficiently distributing across multiple computing resources satisfiability modulo theories (SMT) queries expressed in propositional logic with string variables. As part of the computing-related services provided by a cloud provider network, many cloud providers also offer identity and access management services, which generally help users to control access and permissions to the services and resources (e.g., compute instances, storage resources, etc.) obtained by users via a cloud provider network. By using resource policies, for example, users can granularly control which identities are able to access specific resources associated with the users' accounts and how those identities can use the resources. The ability to efficiently distribute the analysis of SMT queries expressed in propositional logic with string variables among any number of separate computing resources (e.g., among separate processes, compute instances, containers, etc.) enables the efficient analysis of such policies.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.