Претрага по менторима
Приказ резултата 1-3 од 3
-
Rešavanje problema CSP tehnikama svođenja na problem SAT / Solving of constraint satisfaction problems by reduction to SAT
(Универзитет у Београду, Математички факултет, 13-10-2016) -
Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације / Improving SMT solvers using CSP techniques and parallelization techniques
(Универзитет у Београду, Математички факултет, 08-12-2016) -
Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема / Formalization of various geometry models and applications in verification of automated theorem provers
(Универзитет у Београду, Математички факултет, 08-08-2017)