Преглед Математички факултет по теми "SMT solvers"
Приказ резултата 1-1 од 1
-
Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације / Improving SMT solvers using CSP techniques and parallelization techniques
(Универзитет у Београду, Математички факултет, 08-12-2016)