Amazon Technologies, Inc.

Daniel Schwartz-Narbonne

Neha Rungta

John Byron Cook

Carsten Varming

Sean McLaughlin

Andrew Jude Gacek

Catherine Dodge

Pauline Virginie Bolignano

Temesghen Kahsai Azene

Juan Rodriguez Hortala

Kasper Soe Luckow

A constraint solver service of a computing resource service provider performs evaluations of logic problems provided by the service provider's users and/or services by deploying a plurality of constraint solvers to concurrently evaluate the logic problem. Each deployed solver has, or is configured with, different characteristics and/or capabilities than the other solvers; thus, the solvers can have varying execution times and ways of finding a solution. The service may control execution of the solvers using virtual computing resources, such as by installing and configuring a solver to execute in a software container instance. The service receives solver results and delivers them according to a solution strategy such as 'first received' to reduce latency or 'check for agreement' to validate the solution. An interface allows the provider of the logic problem to select and configure solvers, issue commands and modifications during solver execution, select the solution strategy, and receive the solution.

Constraint solver execution service and infrastructure therefor

Growing community of inventors

Brooklyn, NY, United States of America

Daniel Schwartz-Narbonne