Autori: Stojadinovic Mirko S
| Naslov | meSAT: Multiple Encodings of CSP to SAT (Proceedings Paper) |
| Autori | Stojadinovic Mirko S Maric Filip M |
| Info | PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, (2015), vol. 9255 br. , str. 741-741 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems (Proceedings Paper) |
| Autori | Stojadinovic Mirko S |
| Info | PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, (2014), vol. 8656 br. , str. 886-902 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | meSAT: multiple encodings of CSP to SAT (Article) |
| Autori | Stojadinovic Mirko S Maric Filip M |
| Info | CONSTRAINTS, (2014), vol. 19 br. 4, str. 380-403 |
| Projekat | Serbian Ministry of Science [174021]; SNF [SCOPES IZ73Z0_127979/1] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
