A Multithreaded solving algorithm for QCSP+
Résumé
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]
Origine : Fichiers produits par l'(les) auteur(s)