Изаберите језик:
rs rsl en
Информације и наука
Информације Наука
Настава
Опште информације Програмирање 1 Програмирање 2 Микрорачунари Увод у организацију рачунара Развој софтвера 2 Напредна архитектура рачунара / Паралелни алгоритми Аутоматско резоновање Увод у архитектуру рачунара
Важне локације
Универзитет у Београду Математички факултет Катедра за рачунарство и информатику Група за аутоматско резоновање (АРГО)
Бројач посета
248663
Бројач данашњих посета
13
Ваша интернет адреса
54.162.218.214
Време последње измене
5. 2. 2017. | 13:36:56
Тренутно време
26. 9. 2017. | 07:11:34
Месечни календар
Септембар 2017
ПоУтСрЧеПеСуНе
123
45678910
11121314151617
18192021222324
252627282930
XHTML 1.0 Strict validation CSS 2.1 validation
Matf
Milan Bankovic
Универзитет у Београду
Математички факултет
Катедра за рачунарство
Милан Банковић
Асистент
milan@matf.bg.ac.rs



  • Задовољивост у односу на теорије првог реда (SMT)
  • Исказна задовољивост (SAT)
  • Примене SAT и SMT технологија
  • Математичка логика у рачунарству
  • Аутоматско резоновање
  • Проблеми задовољивости ограничења (CSP)


  • Milan Banković. Filip Marić. Alldifferent constraint solver in SMT. Federated Logic Conference 2010. (International Workshop on Satisfiability Modulo Theories - SMT'10). ([pdf])
  • Milan Banković. ArgoSMTe: an SMT-LIB 2.0 compliant expression library. Pragmatics of SAT 2012. ([pdf])
  • Milan Banković. Extending SMT solvers with support for finite domain alldifferent constraint. Constraints. 2015. ([pdf], [springer])
  • Milan Banković. Parallelizing simplex within SMT solvers. Artificial Intelligence Review. 2016. ([pdf], [springer])
  • Milan Banković. Solving finite-domain linear constraints in presence of the alldifferent. Logical Methods in Computer Science. 2016. ([pdf], [LMCS])
  • Милан Банковић. Унапређивање SMT решавача коришћењем CSP техника и техника паралелизације. Докторска дисертација. 2016. ([pdf])