Reducing Compilation Time of Zhong's FPGA-based SAT Solver

• CHAN P. K.

収録刊行物

• Proc. IEEE Symp. FPGAs for Custom Computing Machines (FCCM '99)

  Proc. IEEE Symp. FPGAs for Custom Computing Machines (FCCM '99) 308-309, 1999

  IEEE Computer Society

詳細情報

• CRID: 1573668924595778048
• NII論文ID: 10010358185
• データソース種別:
  • CiNii Articles