Zobrazeno 1 - 2
of 2
pro vyhledávání: '"modèles de programmation hybride"'
Autor:
Szczepanski, Nicolas
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érifi
Externí odkaz:
http://www.theses.fr/2017ARTO0403/document
Autor:
Szczepanski, Nicolas
Publikováno v:
Calcul parallèle, distribué et partagé [cs.DC]. Université d'Artois, 2017. Français. ⟨NNT : ⟩
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, pla
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4254::bf13a24587ffc7721278e56f65830adf
https://hal.science/tel-02979325/file/SATenParalleleSzczepanskiNicolas.pdf
https://hal.science/tel-02979325/file/SATenParalleleSzczepanskiNicolas.pdf