Browsing eNauka
Browsing by Author Stojadinovic, Mirko S
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | М-cat. |
|---|---|---|---|---|
| 2014 | Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems | Stojadinovic, Mirko S | Conference Paper | Mp. category will be shown later |
| 2015 | meSAT: Multiple Encodings of CSP to SAT (✓) | Stojadinovic, Mirko S; Maric, Filip M   | Conference Paper | Mp. category will be shown later |