| meSAT: multiple encodings of CSP to SAT M Stojadinović, F Marić Constraints 19 (4), 380-403, 2014 | 41 | 2014 |
| Air traffic controller shift scheduling by reduction to CSP, SAT and SAT-related Problems M Stojadinović International Conference on Principles and Practice of Constraint …, 2014 | 20 | 2014 |
| Hybrid of hill climbing and SAT solving for air traffic controller shift scheduling M Stojadinović JITA-APEIRON 10 (2), 2015 | 10 | 2015 |
| Short portfolio training for CSP solving M Stojadinović, M Nikolić, F Marić arXiv preprint arXiv:1505.02070, 2015 | 5 | 2015 |
| Generisanje i rešavanje velikih sudoku zagonetki svođenjem na sat problem M Stojadinović ИнфоМ-Часопис за информационе технологије и мултимедијалне системе 2015 (54), 2015 | 2 | 2015 |
| Instance-based selection of CSP solvers using short training M Stojadinovic, F Maric Pragmatics of SAT, 2014 | 2 | 2014 |
| Rešavanje problema CSP tehnikama svođenja na problem SAT MS Stojadinović Универзитет у Београду, 2016 | | 2016 |
| Solving and generating large Sudoku puzzles by reduction to SAT M Stojadinović Info M 14 (54), 25-30, 2015 | | 2015 |
| Generisanje i rešavanje velikih Sudoku zagonetki svođenjem na problem SAT Mirko Stojadinović M Stojadinović | | |
| Air Traffic Controller Shift Scheduling M Stojadinovic SAT COMPETITION 2014, 86, 0 | | |
| How Efficient Can Fully Verified Functional Programs Be-A Case Study of Graph Traversal Algorithms M Stojadinovic | | |
