Results

eNauka >  Results >  Parallelizing simplex within SMT solvers
Title: Parallelizing simplex within SMT solvers
Authors: Banković, Milan  
Issue Date: 2017
Publication: Artificial Intelligence Review
ISSN: 0269-2821 Artificial Intelligence Review Search Idenfier
Publisher: Springer
Type: Article
Collation: 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
Metadata source: Migrirano iz RIS podataka
M-category: 
21M21

2
SCOPUSTM
1
OpenCitations
1
WEB OF SCIENCETM
Altmetric
Dimensions

Find the DOI
Unpaywall

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