摘要 |
A solver for solving a dynamic constant satisfaction problem that includes a resource sum constraint and a port for coupling zero or more sub-problems to the problem. The solver couples a new sub-problem to the port. The solver then, based at least on the coupling, determines a revised resource sum domain for the problem, the revised resource sum domain including a contribution from existing participants and a contribution from potential participants.
|