.png){kind=icon}
返回
A Circuit-Level Amoeba-Inspired SAT Solver
.png){kind=icon}
PRE
AI
DOI：10.1109/TCSII.2019.2951181.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
AmbSAT (or AmoebaSAT) is a biologically-inspired stochastic local search (SLS) solver to explore solutions to the Boolean satisfiability problem (SAT). AmbSAT updates multiple variables in parallel at every iteration step, and thus AmbSAT can find solutions with a fewer number of iteration steps than some other conventional SLS solvers for a specific set of SAT instances. However, the parallelism of AmbSAT is not compatible with general-purpose microprocessors in that many clock cycles are required to execute each iteration; thus, AmbSAT requires special hardware that can exploit the parallelism of AmbSAT to quickly find solutions. In this brief, we propose a circuit model that explores solutions to SAT in a similar way to AmbSAT, which we call circuit-level AmbSAT (CL-AmbSAT). We conducted numerical simulation to evaluate the search performance of CL-AmbSAT for a set of randomly generated SAT instances that was designed to estimate the scalability of our approach. Simulation results showed that CL-AmbSAT finds solutions with a fewer iteration number than a powerful SLS solver, ProbSAT, and outperforms even AmbSAT. Since CL-AmbSAT uses simple combinational logic to update variables, CL-AmbSAT can be easily implemented in various hardware.
Keyword:
Logic gates
Hardware
Parallel processing
Stochastic processes
Integrated circuit modeling
Microprocessors
SAT solver
stochastic-local-search solver
bio-inspired computing
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
I
IF:
4.9
论文数:
8.8K
被引数:
2.5W
机构
引用论文
分享收藏
Peripheral nerve injury differentially regulates dopaminergic pathways in the nucleus accumbens of rats with either ‘pain alone’ or ‘pain and disability’.png)
Neuroscience
NeuroscienceIF0
PREAI
分享收藏
查看更多内容