SAT en Parallèle
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-informati...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2017ARTO0403/document |