Rešavanje problema CSP tehnikama svodjenja na problem SAT

Stojadinović, Mirko

Doktorand:

Stojadinović, Mirko

Fakultet:

Matematički fakultet

Napomena:

Rok za dostavljanje primedbi na doktorsku disertaciju je istekao.

Datum postavljanja na uvid javnosti:

31-08-2016

Datum odbrane:

13-10-2016

Objavljeni radovi:

[1]

1. Mirko Stojadinović, Filip Marić. meSAT: Multiple Encodings of CSP to SAT, Constraints, 19(4), 2014. ISSN: 1572-9354, doi: 10.1007/s10601-014-9165-7, impakt faktor: 1.257. 2. Mirko Stojadinović. Generisanje i rešavanje velikih Sudoku zagonetki svođenjem na SAT problem. InfoM, 14(54), 2015. ISSN: 1451-4397. 3. Mirko Stojadinović. Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-related Problems,The 20th International Conference on Principles and Practice of Constraint Programming, CP 2014. ISBN: 978-3-319-10428-7, doi: 10.1007/978-3-319- 10428-7_63.