专利内容由知识产权出版社提供
专利名称:DYNAMIC CONSTRAINT SATISFACTION
PROBLEM SOLVER
发明人:Michael Colena,Claire M. Bagley,Gao Chen申请号:US12270366申请日:20081113
公开号:US20100121795A1公开日:20100513
专利附图:
摘要:A system for solving a dynamic constraint satisfaction problem comprises aconstraint network of variables and constraints. The system creates a first sub-problemmodel that includes a first model type, one or more first variables and zero or more first
constraints. The system propagates the first constraints through the constraint networkand determines if a first conflict is detected from propagating the first constraints. If thefirst conflict is detected, the system restores the constraint network variables to a firstprevious state before the first constraints were propagated. The system creates a firstsub-problem set that includes a second model type and one or more sub-problemmodels. The system connects the first sub-problem model to the first sub-problem setvia a second constraint and propagates the second constraint through the constraintnetwork.
申请人:Michael Colena,Claire M. Bagley,Gao Chen
地址:Lowell MA US,Carlisle MA US,Malden MA US
国籍:US,US,US
更多信息请下载全文后查看