公开(公告)号：US20100293127A1

公开(公告)日：2010-11-18

申请号：US12465440

申请日：2009-05-13

Applicant: Youssef Hamadi ,  Said Jabbour

Inventor： Youssef Hamadi ,  Said Jabbour

IPC: G06N5/04

CPC classification number: G06N5/04

Abstract: Controlled constraint sharing in parallel problem solvers is described. In embodiments, constraint sharing in a problem solver is controlled by comparing a total number of shared constraints obtained in a time interval to a target, and regulating the subsequent number of shared constraints obtained from other problem solvers accordingly. Embodiments describe how the regulation of the subsequent number of shared constraints can be achieved by controlling the size of constraints shared by other problem solvers. Embodiments describe how an additive increase/multiplicative decrease algorithm can be used to determine the size of constraints to be exchanged. Embodiments also describe how the utility of the shared constraints can be determined, and used to control the size of constraints shared by other problem solvers. In embodiments, the problem solver is a Boolean satisfiability problem solver.

Abstract translation: 描述了并行问题求解器中的受控约束共享。 在实施例中，通过将在时间间隔中获得的共享约束的总数与目标进行比较来控制问题求解器中的约束共享，并且相应地调节从其他问题解决者获得的随后的共享约束数。 实施例描述了如何通过控制其他问题解决者共享的约束的大小来实现对后续数量的共享约束的调节。 实施例描述了如何使用添加增加/乘法减少算法来确定要交换的约束的大小。 实施例还描述了如何确定共享约束的效用，并且用于控制由其他问题解决者共享的约束的大小。 在实施例中，问题求解器是布尔可满足性问题求解器。

公开(公告)号：US08346704B2

公开(公告)日：2013-01-01

申请号：US12465440

申请日：2009-05-13

Applicant: Youssef Hamadi ,  Said Jabbour

Inventor： Youssef Hamadi ,  Said Jabbour

IPC: G06F17/00 ,  G06N5/02

CPC classification number: G06N5/04

Abstract: Controlled constraint sharing in parallel problem solvers is described. In embodiments, constraint sharing in a problem solver is controlled by comparing a total number of shared constraints obtained in a time interval to a target, and regulating the subsequent number of shared constraints obtained from other problem solvers accordingly. Embodiments describe how the regulation of the subsequent number of shared constraints can be achieved by controlling the size of constraints shared by other problem solvers. Embodiments describe how an additive increase/multiplicative decrease algorithm can be used to determine the size of constraints to be exchanged. Embodiments also describe how the utility of the shared constraints can be determined, and used to control the size of constraints shared by other problem solvers. In embodiments, the problem solver is a Boolean satisfiability problem solver.

Abstract translation: 描述了并行问题求解器中的受控约束共享。 在实施例中，通过将在时间间隔中获得的共享约束的总数与目标进行比较来控制问题求解器中的约束共享，并且相应地调节从其他问题解决者获得的随后的共享约束数。 实施例描述了如何通过控制其他问题解决者共享的约束的大小来实现对后续数量的共享约束的调节。 实施例描述了如何使用添加增加/乘法减少算法来确定要交换的约束的大小。 实施例还描述了如何确定共享约束的效用，并且用于控制由其他问题解决者共享的约束的大小。 在实施例中，问题求解器是布尔可满足性问题求解器。