Title :
A Parallel Solving Algorithm for Quantified Constraints Problems
Author :
Vautard, Jérémie ; Lallouet, Arnaud ; Hamadi, Youssef
Author_Institution :
GREYC, Univ. of Caen, Caen, France
Abstract :
Quantified constraint satisfaction problems have been the topic of an increasing number of studies for a few years. However, only sequential resolution algorithms have been proposed so far. This paper presents a parallel QCSP+ solving algorithm based on a problem-partition approach. It then discuss about work distribution policies and presents several experimental results comparing several parameters.
Keywords :
constraint theory; operations research; parallel algorithms; constraint satisfaction; parallel solving algorithm; problem partition approach; quantified constraint problem; sequential resolution algorithm; Games; Instruction sets; Parallel processing; Radiation detectors; Search problems; Testing; Constraint Programming; Quantification;
Conference_Titel :
Tools with Artificial Intelligence (ICTAI), 2010 22nd IEEE International Conference on
Conference_Location :
Arras
Print_ISBN :
978-1-4244-8817-9
DOI :
10.1109/ICTAI.2010.46
