Index Catalog // Hyrax

Filter löschen

Filtern nach: Schöpfer Mao, Xinyun

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
Creating a Sustainable Art Space

Stichwort:

Culture, Contemporary Art, Kyoto, Finance, Sustainability, and Art

Schöpfer:

Garbaczonek, Marek, Mao, Xinyun, Lehner, Dakota, Babu, Amirthavarshini, and Doan, Thai Duc

Advisor:

Nirmal, Padini and Sphar, Jefferson Alex

Herausgeber:

Worcester Polytechnic Institute

Datum erstellt:

2022-12-14

Resource Type:

Interactive Qualifying Project