Index Catalog // Hyrax

Cancellare i filtri

Filtro per: Parola chiave FPGA Major Computer Science

FPGA Accelerated SAT Solver

Parola chiave:

Boolean SAT, FPGA, MQP, Look Up Table, and CDCL

Creatore:

Mao, Xinyun, David, Samuel, Eben, Joshua, and Hunter, Patrick

Advisor:

Doroz, Yarkin and Mus, Koksal

Editore:

Worcester Polytechnic Institute

data di creazione:

2024-04-25

Resource Type:

Major Qualifying Project