| Authors: | Sustran, Živojin Milutinović, Veljko Todorović, Milan |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | Feasibility Study on the SAT Solver on DataFlow Architecture | Journal: | The IPSI BgD Transactions on Internet Research | Volume: | 9 | Issue: | 2 | First page: | 10 | Last page: | 15 | Issue Date: | 2013 | Rank: | M53 | URL: | http://ipsitransactions.org/journals/papers/tir/2013july/p5.pdf |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.