FPGA based runtime configurable clause evaluatorfor SAT problems
- 16 September 1999
- journal article
- Published by Institution of Engineering and Technology (IET) in Electronics Letters
- Vol. 35 (19) , 1618-1619
- https://doi.org/10.1049/el:19991132
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- A massively-parallel easily-scalable satisfiability solver using reconfigurable hardwarePublished by Association for Computing Machinery (ACM) ,1999