Browse by committee members
Now showing items 1-6 of 6
-
Nove kombinatorne konstrukcije u vezi sa problemima iz hromatske teorije grafova, ekstremalne teorije skupova i teorije Bulovih matrica / New combinatorial constructions related to problems from the chromatic graph theory, extremal set theory and Boolean matrix theory.
(Универзитет у Београду, Математички факултет, 22-02-2018) -
Rešavanje problema CSP tehnikama svođenja na problem SAT / Solving of constraint satisfaction problems by reduction to SAT
(Универзитет у Београду, Математички факултет, 13-10-2016) -
Sistem za automatsko dokazivanje nekih klasa analitičkih nejednakosti / System for automatic proving of some classes of analytic inequalities
(Универзитет у Београду, Електротехнички факултет, 24-05-2019) -
Метод седиментације и његове примјене у проблемима дискретне математике / Method of sedimentation and its discrete mathematics applications
(Универзитет у Београду, Математички факултет, 20-07-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)