Преглед Универзитет у Београду по теми "SAT encoding"
Приказ резултата 1-1 од 1
-
Rešavanje problema CSP tehnikama svođenja na problem SAT / Solving of constraint satisfaction problems by reduction to SAT
(Универзитет у Београду, Математички факултет, 13-10-2016)