Электронная библиотека (репозиторий) Томского государственного университета

SAT solvers application of deriving all test pairs detecting robust testable PDFs

Image Thumbnail Open in Browser | View Pdf in Internal Viewer | Download 499 KB
^