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