首页> 外文OA文献 >Solving Boolean Satisfiability with Dynamic Hardware Configurations

【2h】

Solving Boolean Satisfiability with Dynamic Hardware Configurations

机译：用动态硬件配置解决布尔可满足性问题

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Peixin Zhong; Margaret Martonosi; Pranav Ashar; Sharad Malik;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Timescales of Boolean satisfiability solver using continuous-time dynamical system [J] . Yamashita Hiroshi, Aihara Kazuyuki, Suzuki Hideyuki Communications in Nonlinear Science and Numerical Simulation . 2020,第May期

机译：使用连续时间动态系统的布尔满足求解器的时间尺度
2. FPGA-Based Hardware Acceleration for Boolean Satisfiability [J] . KANUPRIYA GULATI, SUGANTH PAUL, SUNIL P. KHATRI, ACM Transactions on Design Automation of Electronic Systems . 2009,第2期

机译：基于FPGA的硬件加速以实现布尔可满足性
3. Local search for Boolean Satisfiability with configuration checking and subscore [J] . Shaowei Cai, Kaile Su Artificial intelligence . 2013,第nova期

机译：通过配置检查和子评分在本地搜索布尔可满足性
4. Solving Boolean Satisfiability with Dynamic Hardware Configurations [C] . International workshop on field-programmable logic and applications . 1998

机译：用动态硬件配置解决布尔满足性
5. Extending the power of Boolean satisfiability solvers: Techniques and applications. [D] . Fu, Zhaohui. 2007

机译：扩展布尔可满足性求解器的功能：技术和应用。
6. Solving dynamical systems in neuromorphic hardware: simulation studies using balanced spiking networks [O] . Anna S Bulanova, Olivier Temam, Rodolphe Heliot 2013

机译：解决神经形态硬件中的动力学系统：使用平衡尖峰网络的仿真研究
7. A Practical Reconfigurable Hardware Accelerator for Boolean Satisfiability Solvers [O] . John D. Davis, Zhangxi Tan, Fang Yu, 2011

机译：实用的可重新配置硬件加速器，用于布尔可满足性求解器
8. Solving Difficult Instances of Boolean Satisfiability in the Presence of Symmetry [R] . Aloul, F. A. , Ramani, A. , Markov, I. L. , 2002

机译：在对称性存在下解决布尔可满足性的难点实例

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号