FPGA-based hardware acceleration for Boolean satisfiability
収録刊行物
-
- ACM Transactions on Design Automation of Electronic Systems
-
ACM Transactions on Design Automation of Electronic Systems 14 (2), 2009