SAT en Parallèle - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2017

SAT Parallel Computing

SAT en Parallèle

Résumé

This thesis deals with propositional satisfiability (SAT) in a massively parallel setting. The SAT problem is widely used for solving several combinatorial problems (e.g. formal verification of hardware and software, bioinformatics, cryptography, planning, scheduling, etc.). The first contribution of this thesis concerns the design of efficient algorithms based on the approaches « portfolio » and « divide and conquer ». Secondly, an adaptation of several parallel programming models including hybrid (parallel and distributed computing) to SAT is proposed. This work has led to several contributions to international conferences and highly competitive distributed SAT solvers.
La thèse porte sur la résolution des problèmes de satisfaisabilité booléenne (SAT) dans un cadre massivement parallèle. Le problème SAT est largement utilisé pour résoudre des problèmes combinatoires de première importance comme la vérification formelle de matériels et de logiciels, la bio-informatique, la cryptographie, la planification et l’ordonnancement de tâches. Plusieurs contributions sont apportées dans cette thèse. Elles vont de la conception d’algorithmes basés sur les approches « portfolio » et « diviser pour mieux régner », à l’adaptation de modèles de programmation parallèle, notamment hybride (destinés à des architectures à mémoire partagée et distribuée), à SAT, en passant par l’amélioration des stratégies de résolution. Ce travail de thèse a donné lieu à plusieurs contributions dans des conférences internationales du domaine ainsi qu’à plusieurs outils (open sources) de résolution des problèmes SAT, compétitifs au niveau international.
Fichier principal
Vignette du fichier
SATenParalleleSzczepanskiNicolas.pdf (2.69 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

tel-02979325 , version 1 (27-10-2020)

Identifiants

  • HAL Id : tel-02979325 , version 1

Citer

Nicolas Szczepanski. SAT en Parallèle. Calcul parallèle, distribué et partagé [cs.DC]. Université d'Artois, 2017. Français. ⟨NNT : ⟩. ⟨tel-02979325⟩
79 Consultations
223 Téléchargements

Partager

Gmail Facebook X LinkedIn More