Резултати

еНаука >  Резултати >  An Incremental Simplex Algorithm with Unsatisfiable Core Generation
Назив: An Incremental Simplex Algorithm with Unsatisfiable Core Generation
Аутори: Marić, Filip  ; Spasić, Mirko  ; Thiemann, René
Година: 2018
Публикација: Archive of Formal Proofs
ISSN: 2150-914X Претражи идентификатор
Тип резултата: Научни чланак
Колација: vol. 2018
URI: https://enauka.gov.rs/handle/123456789/790478
URL: https://api.semanticscholar.org/CorpusID:52147514
Извор метаподатака: (Preuzeto iz ORCID-a) Spasić, Mirko
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

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