еНаука - преглед
Преглед према Аутор Stojadinovic, Mirko S
Приказ резултата 1 до 2 од 2
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2014 | Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems | Stojadinovic, Mirko S | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | meSAT: Multiple Encodings of CSP to SAT (✓) | Stojadinovic, Mirko S; Maric, Filip M   | Конференцијски рад | Мп категорија ће бити приказана накнадно. |