A new parallel architecture for QBF tools

DocumentFichier
Fichier pdf chargé le 30/10/2014 à 10:12:17
Accès libre
(version auteur)
fichier
TitreA new parallel architecture for QBF tools
Type de publicationCommunication
TypeCommunication avec actes dans un congrès
Année2010
LangueAnglais
Date du colloque2010
Titre du colloque2010 International Conference on High Performance Computing and Simulation, HPCS 2010
Titre des actes ou de la revueHigh Performance Computing and Simulation
Pagination324 - 330
AuteurDa Mota, Benoit , Nicolas, Pascal, Stéphan, Igor
PaysFrance
EditeurIEEE Computer Society
VilleCaen
ISBN978-1-4244-6927-0
Mots-clésBoolean functions, Concrete, Data structures, parallel, Parallel architectures, Quantified Boolean Formulae (QBF), Semantics, Syntactics, tools
Résumé en anglais

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.

URL de la noticehttp://okina.univ-angers.fr/publications/ua4449
DOI10.1109/HPCS.2010.5547114
Lien vers le document en ligne

http://dx.doi.org/10.1109/HPCS.2010.5547114