Rezultati
| Naziv: | An Alldifferent constraint solver in SMT | Autori: | Banković, Milan   ; Marić, Filip |
Godina: | 2010 | Publikacija: | Proceedings of the 8th International Workshop on Satisfiability Modulo Theories | Izdavač: | Velika Britanija | Tip rezultata: | Konferencijski rad | URI: | https://enauka.gov.rs/handle/123456789/319665 | URL: | http://www.cprover.org/SMT10/ | Izvor metapodataka: | Migrirano iz RIS podataka | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.