Distributed solving through model splitting

Details Distributed solving through model splitting Distributed solving through model splitting

2010-08-25

arxiv.org/abs/1008.4328v1

Computer Science

Artificial Intelligence

Scientific paper

Constraint problems can be trivially solved in parallel by exploring different branches of the search tree concurrently. Previous approaches have focused on implementing this functionality in the solver, more or less transparently to the user. We propose a new approach, which modifies the constraint model of the problem. An existing model is split into new models with added constraints that partition the search space. Optionally, additional constraints are imposed that rule out the search already done. The advantages of our approach are that it can be implemented easily, computations can be stopped and restarted, moved to different machines and indeed solved on machines which are not able to communicate with each other at all.

Affiliated with

Also associated with

No associations

Rating

Distributed solving through model splitting does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Distributed solving through model splitting, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Distributed solving through model splitting will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-525779