A Multithreaded solving algorithm for QCSP+

Jérémie Vautard (1) , Arnaud Lallouet (2)

1 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
2 Equipe CODAG - Laboratoire GREYC - UMR6072

This paper presents some ideas about multi-threading QCSP solving procedures. We introduce a first draft of a multi-threaded algorithm for solving QCSP+ and give some work leads about parallel solving of quantified problems.

Domaines: Intelligence artificielle [cs.AI]

Jérémie Vautard, Arnaud Lallouet. A Multithreaded solving algorithm for QCSP+. Constraint Programming 2009 Doctoral Program, Sep 2009, Lisbon, Portugal. ⟨hal-00468764⟩