Index Catalog // Hyrax

Remover filtros

Filtragem por: O Criador Eben, Joshua

FPGA Accelerated SAT Solver

Palavra-chave:

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

O Criador:

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

Advisor:

Doroz, Yarkin and Mus, Koksal

Editor:

Worcester Polytechnic Institute

Data Criada:

2024-04-25

Resource Type:

Major Qualifying Project
Documenting the Melbourne Project Center and Its Impacts

Palavra-chave:

Video and Melbourne

O Criador:

Merone, Sean, Rauch, Abigail, Norton, Cameron, and Eben, Joshua

Advisor:

Madan, Aarti Smith and Madan, Ryan Smith

Editor:

Worcester Polytechnic Institute

Data Criada:

2023-03-23

Resource Type:

Interactive Qualifying Project