Index Catalog // Hyrax

Filter löschen

Filtern nach: Schöpfer David, Samuel

FPGA Accelerated SAT Solver

Stichwort:

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

Schöpfer:

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

Advisor:

Doroz, Yarkin and Mus, Koksal

Herausgeber:

Worcester Polytechnic Institute

Datum erstellt:

2024-04-25

Resource Type:

Major Qualifying Project
A Multimedia Showcase: Planning the Celebration of 35 Years of Research at the Venice Project Center

Schöpfer:

Crandall, Jillian, Padula, Hayden, Leslie, Nicholas, David, Samuel, and Bailey, Jared

Advisor:

Carrera, Fabio and Galante, John S.

Herausgeber:

Worcester Polytechnic Institute

Datum erstellt:

2023-07-13

Resource Type:

Interactive Qualifying Project