Резултати

eNauka >  Results >  An Incremental Simplex Algorithm with Unsatisfiable Core Generation
Title: An Incremental Simplex Algorithm with Unsatisfiable Core Generation
Authors: Marić, Filip  ; Spasić, Mirko  ; Thiemann, René
Issue Date: 2018
Publication: Archive of Formal Proofs
ISSN: 2150-914X Search Idenfier
Type: Article
Collation: vol. 2018
URI: https://enauka.gov.rs/handle/123456789/790478
URL: https://api.semanticscholar.org/CorpusID:52147514
Metadata source: (Preuzeto iz ORCID-a) Spasić, Mirko
M-category: 
Mp. category will be shown later

Пронађи DOI

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