搜索条件
搜索结果
- 关键词:
- Boolean SAT, FPGA, MQP, Look Up Table, and CDCL
- 创造者:
- Mao, Xinyun, David, Samuel, Eben, Joshua, and Hunter, Patrick
- Advisor:
- Doroz, Yarkin and Mus, Koksal
- 出版者:
- Worcester Polytechnic Institute
- 创建日期:
- 2024-04-25
- Resource Type:
- Major Qualifying Project
- 创造者:
- Crandall, Jillian, Padula, Hayden, Leslie, Nicholas, David, Samuel, and Bailey, Jared
- Advisor:
- Carrera, Fabio and Galante, John S.
- 出版者:
- Worcester Polytechnic Institute
- 创建日期:
- 2023-07-13
- Resource Type:
- Interactive Qualifying Project