Feasibility Study on the SAT Solver on DataFlow Architecture

Šuštran, Živojin; Milutinović, Veljko; Todorović, Milan

Rezultati

eNauka > Rezultati > Feasibility Study on the SAT Solver on DataFlow Architecture

Naziv:	Feasibility Study on the SAT Solver on DataFlow Architecture
Autori:	Šuštran, Živojin ; Milutinović, Veljko ; Todorović, Milan
Godina:	2013
Publikacija:	IPSI TRANSACTIONS ON INTERNET RESEARCH
ISSN:	1820-4503 IPSI Transactions on Internet Research Pretraži identifikator
Izdavač:	IPSI BgD
Tip rezultata:	Naučni članak
Kolacija:	vol. 9 br. 2 str. 10-15
WoS-ID:	000421361600005
URI:	http://researchrepository.mi.sanu.ac.rs/handle/123456789/3351 https://enauka.gov.rs/handle/123456789/234448 http://zaposleni.etf.bg.ac.rs/rest/sciNaucniRezultati/oai/record/2/704950
URL:	http://www.internetjournals.net/journals/papers/tir/2013july/SAT.pdf
Izvor metapodataka:	Migracija
M-kategorija:	53M53 - Rad u nac. časopisu

1
WEB OF SCIENCE^TM

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.