基于改进连续时间动态系统的模拟SAT求解器

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

摘 要：针对布尔可满足性问题的高效求解进行了研究。首先，通过对k-SAT问题和基于耦合常微分方程形式的确定性连续时间动态系统的分析，提出了一种基于时延信息形式的改进连续时间动态系统方程，以保持集中搜索特性；然后，提出了实现该系统方程的三个主要组件即信号动态电路、辅助变量电路和数字验证电路的模拟设计。（剩余12405字）

试读结束

目录
monitor