Изаберите језик:
rs rsl en
Информације и наука
Информације Наука
Настава
Опште информације Вежбе (2007-2017) Микрорачунари (стари статут) Увод у организацију и архитектуру рачунара 1 Увод у организацију и архитектуру рачунара 2 Архитектура рачунара Превођење програмских језика Веб програмирање
Важне локације
Универзитет у Београду Математички факултет Катедра за рачунарство и информатику Група за аутоматско резоновање (АРГО)
Бројач посета
270501
Бројач данашњих посета
14
Ваша интернет адреса
54.81.78.135
Време последње измене
5. 2. 2017. | 13:43:55
Тренутно време
22. 5. 2018. | 06:15:42
Месечни календар
Мај 2018
ПоУтСрЧеПеСуНе
123456
78910111213
14151617181920
21222324252627
28293031
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])