深圳大学学报(理工版)
深圳大學學報(理工版)
심수대학학보(리공판)
JOURNAL OF SHENZHEN UNIVERISYT SCIENCE & ENGINEERING
2002年
3期
24-30
,共7页
SAT问题%FPGA%回溯搜索算法%并行处理器
SAT問題%FPGA%迴溯搜索算法%併行處理器
SAT문제%FPGA%회소수색산법%병행처리기
针对SAT问题的复杂性及求解速度缓慢的问题,采用可重构器件FPGA设计,实现了静态回溯搜索算法SAT问题并行处理器,提出了研制动态SAT并行处理器的设想.
針對SAT問題的複雜性及求解速度緩慢的問題,採用可重構器件FPGA設計,實現瞭靜態迴溯搜索算法SAT問題併行處理器,提齣瞭研製動態SAT併行處理器的設想.
침대SAT문제적복잡성급구해속도완만적문제,채용가중구기건FPGA설계,실현료정태회소수색산법SAT문제병행처리기,제출료연제동태SAT병행처리기적설상.
