Unapredjivanje SMT rešavača korišćenjem CSP tehnika i tehnika paralelizacije

Banković, Milan

Doktorand:

Banković, Milan

Fakultet:

Matematički fakultet

Napomena:

Rok za dostavljanje primedbi na doktorsku disertaciju je istekao.

Datum postavljanja na uvid javnosti:

31-10-2016

Datum odbrane:

08-12-2016

Objavljeni radovi:

[1]

1. Milan Banković, Extending SMT solvers with support for finite domain alldifferent containt. Constaints, volume 21, number 4, Springer, 2016. DOI: 10.1007/s10601-015-9232-8

[2]

2. Milan Banković, Parallelizing simplex within SMT solvers. Artificial Intelligence Review. 2016. DOI: 10.1007/s10462-016-9495-5

[3]

3. Milan Banković, Solving finite-domain linear constraints in presence of the alldifferent. Logical Methods in Computer Science, volume 3, 2016. DOI: 10.2168/LMCS-12(3:5)2016