Recherche
Voici les éléments 1-6 de 6
Parallelization of SAT on Reconfigurable Hardware
(2013-08-02)
Quoique très difficile à résoudre, le problème de satisfiabilité Booléenne (SAT) est fréquemment utilisé lors de la modélisation d’applications industrielles. À cet effet, les deux dernières décennies ont vu une progression ...