Parallelizing simplex within SMT solvers

Banković, Milan

Rezultati

eNauka > Rezultati > Parallelizing simplex within SMT solvers

Naziv:	Parallelizing simplex within SMT solvers
Autori:	Banković, Milan
Godina:	2017
Publikacija:	Artificial Intelligence Review
ISSN:	0269-2821 Artificial Intelligence Review Pretraži identifikator
Izdavač:	Springer
Tip rezultata:	Naučni članak
Kolacija:	vol. 48 br. 1 str. 83-112
DOI:	10.1007/s10462-016-9495-5
WoS-ID:	000400383400003
Scopus-ID:	2-s2.0-84978035727
URI:	https://enauka.gov.rs/handle/123456789/545912
Izvor metapodataka:	Migrirano iz RIS podataka
M-kategorija:	21M21 - Rad u vrhunskom međ. časopisu

2
SCOPUS^TM

1
OpenCitations

1
WEB OF SCIENCE^TM

Alt metrika

Dimensions

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.

Unpaywall

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