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

Page view(s)

17
checked on Aug 18, 2022

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.