A new parallel architecture for QBF tools - Université d'Angers Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

A new parallel architecture for QBF tools

Résumé

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.

Fichier principal
Vignette du fichier
wpss10.pdf (135.18 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03255427 , version 1 (09-06-2021)

Identifiants

Citer

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⟩

Collections

UNIV-ANGERS LERIA
6 Consultations
69 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More