Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

A new parallel architecture for QBF tools

Abstract :

In this paper, we present the main lines and a first implementation of an open general parallel architecture that we propose for various computation problems about Quantified Boolean Formulae. One main feature of our approach is to deal with QBF without syntactic restrictions, as prenex form or conjunctive normal form. Another main point is to develop a general parallel framework in which we will be able in the future to introduce various specialized algorithms dedicated to particular subproblems.

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03255427
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mercredi 9 juin 2021 - 15:13:49
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09
Archivage à long terme le : : vendredi 10 septembre 2021 - 18:48:06

Fichier

wpss10.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Benoit da Mota, Pascal Nicolas, Igor Stéphan. A new parallel architecture for QBF tools. 2010 International Conference on High Performance Computing and Simulation, HPCS 2010, 2010, Caen, France. pp.324 - 330, ⟨10.1109/HPCS.2010.5547114⟩. ⟨hal-03255427⟩

Partager

Métriques

Consultations de la notice

3

Téléchargements de fichiers

46