Index Catalog // Hyrax

Filter löschen

Filtern nach: Advisor Mus, Koksal Stichwort Boolean Satisfiability

FPGA Accelerated SAT Solver

Stichwort:

Binary Equation, Verilog, VHDL, Boolean Satisfiability, Cryptography, and FPGA

Schöpfer:

Gray, Andrew

Advisor:

Mus, Koksal and Doroz, Yarkin

Herausgeber:

Worcester Polytechnic Institute

Datum erstellt:

2024-03-09

Resource Type:

Major Qualifying Project