Real-time reconfigurable hardware WSAT variants

作者： R. Yap

DOI:

关键词:

摘要:

暂无可下载资源，当前可以选择系统获取到有开放资源时通知我或者直接发起求助文献求助

参考文章(5)

Wenhui Zhang, Zhuo Huang, Jian Zhang, Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances pacific rim international conference on artificial intelligence. pp. 108- 117 ,(2002) , 10.1007/3-540-45683-X_14

Martin Henz, Edgar Tan, Roland Yap, One Flip per Clock Cycle principles and practice of constraint programming. pp. 509- 523 ,(2001) , 10.1007/3-540-45578-7_35

Bart Selman, Henry Kautz, David McAllester, Evidence for invariants in local search national conference on artificial intelligence. pp. 321- 326 ,(1997)

Bart Selman, Henry A. Kautz, Brain Cohen, Noise strategies for improving local search national conference on artificial intelligence. pp. 337- 343 ,(1994)

Y. Hamadi, D. Merceron, Reconfigurable architectures : A new vision for optimization problems Lecture Notes in Computer Science. pp. 209- 221 ,(1997)

Real-time reconfigurable hardware WSAT variants

来源期刊

我的账户

Real-time reconfigurable hardware WSAT variants

来源期刊

相似文章 6

An FPGA Solver for Very Large SAT Problems

Solving SAT-encoded Formal Verification Problems on SoC Based on a WSAT Algorithm with a New Heuristic for Hardware Acceleration

An Approach for Solving Large SAT Problems on FPGA

An FPGA Solver for SAT-Encoded Formal Verification Problems

An FPGA solver for WSAT algorithms

An FPGA Solver for Large SAT Problems

我的账户