发明名称 |
SYSTEMS AND METHODS FOR SOLVING UNRESTRICTED INCREMENTAL CONSTRAINT PROBLEMS |
摘要 |
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. |
申请公布号 |
US2016034825(A1) |
申请公布日期 |
2016.02.04 |
申请号 |
US201514854839 |
申请日期 |
2015.09.15 |
申请人 |
Reservoir Labs, Inc. |
发明人 |
Ezick James;Henretty Thomas;Oh Chanseok;Springer Jonathan |
分类号 |
G06N99/00;G06F9/54;G06N7/00 |
主分类号 |
G06N99/00 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
New York NY US |