Recherche
Résultats de recherche
- Mot-clé:
- Boolean SAT, FPGA, MQP, Look Up Table, and CDCL
- Créateur:
- Mao, Xinyun, David, Samuel, Eben, Joshua, and Hunter, Patrick
- Advisor:
- Doroz, Yarkin and Mus, Koksal
- Éditeur:
- Worcester Polytechnic Institute
- date créée:
- 2024-04-25
- Resource Type:
- Major Qualifying Project