Browsing by Subject Boolean satisfiability
Showing results 1 to 2 of 2
| Publication Date | Title | Author(s) |
|---|---|---|
| 2014 | FPGA Acceleration of Decision-Based Problems using Heterogeneous Computing | Thong, Jason |
| 2020 | Hardware Assertions for Mitigating Single-Event Upsets in FPGAs | Dumitrescu, Stefan |
