A Parallel Solving Algorithm for Quantified Constraints Problems

  • Authors:

  • Jeremie Vautard;Arnaud Lallouet;Youssef Hamadi

  • Affiliations:

  • -;-;-

  • Venue:
  • ICTAI '10 Proceedings of the 2010 22nd IEEE International Conference on Tools with Artificial Intelligence - Volume 01
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

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.