Изаберите језик:
rs rsl en
Информације и наука
Информације Наука
Настава
Опште информације Вежбе (2007-2017) Микрорачунари (стари статут) Увод у организацију и архитектуру рачунара 1 Увод у организацију и архитектуру рачунара 2 Архитектура рачунара Превођење програмских језика Веб програмирање
Важне локације
Универзитет у Београду Математички факултет Катедра за рачунарство и информатику Група за аутоматско резоновање (АРГО)
Бројач посета
253343
Бројач данашњих посета
13
Ваша интернет адреса
54.198.221.13
Време последње измене
5. 2. 2017. | 13:43:55
Тренутно време
23. 11. 2017. | 08:01:01
Месечни календар
Новембар 2017
ПоУтСрЧеПеСуНе
12345
6789101112
13141516171819
20212223242526
27282930
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])