公开(公告)号：US09842294B2

公开(公告)日：2017-12-12

申请号：US14692602

申请日：2015-04-21

申请人： Oracle International Corporation

发明人： David J. Lee ,  Steven Huberman

IPC分类号： G06N5/00 ,  G06F1/00

CPC分类号： G06N5/00

摘要： Constraint programming is used to solve problems that have many variables and that have many possible solutions. An interactive constraint solver application provides additional information to a user if a conflict arises between two choice-constraints so that the additional information can be used to resolve the conflict according to a model-constraint set up by an application developer. The additional information identifies a priority group, or queue, to which the constraint was added. Depending on the particulars included in the additional information, and the model-constraints, the conflict is resolved by the interactive constraint solver application.