Browsing

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
Zisser Markus - 2018 - Solving the SAT problem on the GPU with dynamic...pdf.jpgZisser, Markus Solving the #SAT problem on the GPU with dynamic programming and OpenCLThesis Hochschulschrift 2018