- Tytuł:
- A parallel pipelined naive method for testing satisfiability
- Autorzy:
-
Sadowski, A.
Jakubski, A.
Michalski, G. - Data publikacji:
- 2015
- Słowa kluczowe:
-
satisfiability
parallel programming
FPGA
spełnialność
programowanie równoległe - Pokaż więcej
- Dostawca treści:
- BazTech