公开(公告)号：US11481468B2

公开(公告)日：2022-10-25

申请号：US14729731

申请日：2015-06-03

Applicant: QUALCOMM TECHNOLOGIES, INC.

Inventor： James Ezick ,  Thomas Henretty ,  Chanseok Oh ,  Jonathan Springer

IPC: G06N3/08 ,  G05B23/02 ,  G06F11/26 ,  G06N5/02 ,  G06N7/00 ,  G06N20/00 ,  G06F17/11 ,  G06F9/54

Abstract: We present the architecture of a high-performance constraint solver R-Solve that extends the gains made in SAT performance over the past fifteen years on static decision problems to problems that require on-the-fly adaptation, solution space exploration and optimization. R-Solve facilitates collaborative parallel solving and provides an efficient system for unrestricted incremental solving via Smart Repair. R-Solve can address problems in dynamic planning and constrained optimization involving complex logical and arithmetic constraints.

公开(公告)号：US11481469B2

公开(公告)日：2022-10-25

申请号：US14854839

申请日：2015-09-15

Applicant: QUALCOMM TECHNOLOGIES, INC.

Inventor： James Ezick ,  Thomas Henretty ,  Chanseok Oh ,  Jonathan Springer

IPC: G06N5/02 ,  G06N7/00 ,  G06N20/00 ,  G06F17/11 ,  G06F9/54

Abstract: We present the architecture of a high-performance constraint solver R-Solve that extends the gains made in SAT performance over the past fifteen years on static decision problems to problems that require on-the-fly adaptation, solution space exploration and optimization. R-Solve facilitates collaborative parallel solving and provides an efficient system for unrestricted incremental solving via Smart Repair. R-Solve can address problems in dynamic planning and constrained optimization involving complex logical and arithmetic constraints.