eNauka - pregled
Pregled prema Autor Stojadinovic, Mirko S
Prikaz rezultata 1 do 2 od 2
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2014 | Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems | Stojadinovic, Mirko S | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | meSAT: Multiple Encodings of CSP to SAT (✓) | Stojadinovic, Mirko S; Maric, Filip M   | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |