Browsing


or select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 21 to 24 of 24 < previous 
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
Slivovsky Friedrich - 2015 - Structure in SAT and QBF.pdf.jpgSlivovsky, Friedrich Structure in #SAT and QBFThesis Hochschulschrift 2015
Abseher Michael - 2017 - Tailored tree decompositions for efficient problem...pdf.jpgAbseher, Michael Tailored tree decompositions for efficient problem solvingThesis Hochschulschrift 2017
Bliem Bernhard - 2017 - Treewidth in non-ground answer set solving and alliance...pdf.jpgBliem, Bernhard Treewidth in non-ground answer set solving and alliance problems in graphsThesis Hochschulschrift 2017