Резултати

еНаука >  Резултати >  Parallelizing simplex within SMT solvers
Назив: Parallelizing simplex within SMT solvers
Аутори: Banković, Milan  
Година: 2017
Публикација: Artificial Intelligence Review
ISSN: 0269-2821 Artificial Intelligence Review Претражи идентификатор
Издавач: Springer
Тип резултата: Научни чланак
Колација: 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
Извор метаподатака: Migrirano iz RIS podataka
М-категорија: 
21M21 - Рад у врхунском међ. часопису

2
SCOPUSTM
1
OpenCitations
1
WEB OF SCIENCETM
Алт метрика
Dimensions

Пронађи DOI
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.