Rezultati
| Naziv: | An Incremental Simplex Algorithm with Unsatisfiable Core Generation | Autori: | Marić, Filip   ; Spasić, Mirko ; Thiemann, René |
Godina: | 2018 | Publikacija: | Archive of Formal Proofs | ISSN: | 2150-914X  Pretraži identifikator |
Tip rezultata: | Naučni članak | Kolacija: | vol. 2018 | URI: | https://enauka.gov.rs/handle/123456789/790478 | URL: | https://api.semanticscholar.org/CorpusID:52147514 | Izvor metapodataka: | (Preuzeto iz ORCID-a) Spasić, Mirko | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.