首页> 外文OA文献 >A Virtual Logic Algorithm for Solving Satisfiability Problems Using Reconfigurable Hardware

【2h】

A Virtual Logic Algorithm for Solving Satisfiability Problems Using Reconfigurable Hardware

机译：使用可重构硬件解决可满足性问题的虚拟逻辑算法

页面导航

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

著录项

作者
Miron Abramovici; Jose T. de Sousa;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A SAT Solver Using Reconfigurable Hardware and Virtual Logic [J] . MIRON ABRAMOVICI, JOSE T. DE SOUSA Journal of Automated Reasoning . 2000,第1a2期

机译：使用可重构硬件和虚拟逻辑的SAT解算器
2. Researches on a virtual hardware system using multi-context reconfigurable logic devices [J] . H. Amano, Y. Shibata, A. Takayama, 電子情報通信学会技術研究報告. 集積回路. Integrated Circuits and Devices . 2000,第41期

机译：使用多上下文可重构逻辑设备的虚拟硬件系统的研究
3. Researches on a virtual hardware system using multi-context reconfigurable logic devices [J] . H. Amano, Y. Shibata, A. Takayama, 電子情報通信学会技術研究報告. 集積回路. Integrated Circuits and Devices . 2000,第41期

机译：使用多上下文可重新配置逻辑设备的虚拟硬件系统研究
4. A virtual logic algorithm for solving satisfiability problems using reconfigurable hardware [C] . Abramovici, M., de Sousa, Field-Programmable Custom Computing Machines, 1999. FCCM '99. Proceedings. Seventh Annual IEEE Symposium on . 1999

机译：使用可重配置硬件解决可满足性问题的虚拟逻辑算法
5. Algorithms and Data Structures for Logic Synthesis and Verification Using Boolean Satisfiability. [D] . Backes, John D. 2013

机译：使用布尔可满足性进行逻辑综合和验证的算法和数据结构。
6. Phase transitions of the typical algorithmic complexity of the random satisfiability problem studied with linear programming [O] . Hendrik Schawe, Roman Bleim, Alexander K. Hartmann 2012

机译：线性规划研究随机可满足性问题的典型算法复杂度的相变
7. Solving Satisfiability Problems Using Logic Synthesis and Reconfigurable Hardware [O] . Takayuki Suyama, Makoto Yokoo, Hiroshi Sawada 100

机译：使用逻辑综合和可重构硬件解决可满足性问题
8. Two Phase Algorithm for Solving a Class of Hard Satisfiability Problems; Software engineering rept [R] . Warners, J. P., Van Maaren, H. 1998

机译：求解一类硬满意度问题的两阶段算法;软件工程部

A Virtual Logic Algorithm for Solving Satisfiability Problems Using Reconfigurable Hardware

著录项

引文网络

相似文献

相关主题

期刊订阅