By Topic

High performance constraint satisfaction problem solving: state-recomputation versus state-copying

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Yang, J. ; Sch. of Comput. Sci., Windsor Univ., Ont., Canada ; Goodwin, S.D.

Constraint satisfaction problems (CSPs) in artificial intelligence have been an important focus of research and have been a useful model for various applications. Most CSP solving techniques rely on a single processor. With the increasing popularization of multiple processors, parallel search methods are becoming alternatives to speed up search processing. In this paper, we present a forward checking algorithm that solves non-binary CSPs by distributing different branches of the search tree to different processors, i.e., an OR-parallel approach. However, the problem is how to efficiently communicate the state of the search among processors. Two parallel communication models, namely, state-recomputation and state-copying via message passing, are implemented and evaluated. The experimental results demonstrate that when constraints are tight, the state-recomputation model has better performance than the state-copying model, but when constraints are loose, the state-copying model is a better choice.

Published in:

High Performance Computing Systems and Applications, 2005. HPCS 2005. 19th International Symposium on

Date of Conference:

15-18 May 2005