Browsing

Showing results 1 to 3 of 3
PreviewAuthors / EditorsTitleTypeIssue Date
Fichte Johannes Klaus - 2015 - Backdoors to tractability of disjunctive answer...pdf.jpgFichte, Johannes Klaus Backdoors to tractability of disjunctive answer set programmingThesis Hochschulschrift 2015
Schidler Andre - 2018 - A solver for the Steiner tree problem with few terminals.pdf.jpgSchidler, André A solver for the Steiner tree problem with few terminalsThesis Hochschulschrift 2018
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