Browsing Titles index "Parallelization of SAT on Reconfigurable Hardware"
Now showing items 1-1 of 1
-
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 fulgurante des outils conçus ...