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 10 to 24 of 24 < previous 
PreviewAuthors / EditorsTitleTypeIssue Date
Heissenberger Georg - 2016 - Ein System fuer graphische...pdf.jpgHeißenberger, Georg Ein System für graphische ArgumentationsformalismenThesis Hochschulschrift 2016
Bernreiter Michael - 2020 - A General Framework for Choice Logics.pdf.jpgBernreiter, Michael A General framework for choice logicsThesis Hochschulschrift 2020
Koenig Matthias - 2020 - Graph-classes of argumentation frameworks with...pdf.jpgKönig, Matthias Graph-classes of argumentation frameworks with collective attacks : properties and complexity resultsThesis Hochschulschrift 2020
Moldovan Marius - 2015 - Implementing variations of the Traveling Salesperson...pdf.jpgMoldovan, Marius Implementing variations of the Traveling Salesperson Problem in a declarative dynamic programming environmentThesis Hochschulschrift 2015
Keshavarzi Zafarghandi Atefeh - 2017 - Investigating subclasses of abstract...pdf.jpgKeshavarzi Zafarghandi, Atefeh Investigating subclasses of abstract dialectical frameworksThesis Hochschulschrift 2017
Haret Adrian - 2014 - Merging in the Horn fragment.pdf.jpgHaret, Adrian  Merging in the Horn fragmentThesis Hochschulschrift 2014
Hecher Markus - 2015 - Optimizing second-level dynamic programming algorithms...pdf.jpgHecher, Markus Optimizing second-level dynamic programming algorithms : the D-FLAT 2 system: encodings and experimental evaluationThesis Hochschulschrift 2015
PruningExternalMinimalityChecking.pdf.jpgEiter, Thomas  ; Kaminski, Tobias Dietmar ; Balduccini, Marcello  ; Lierler, Yuliya  ; Woltran, Stefan Pruning External Minimality Checking for ASP Using Semantic DependenciesInproceedings Konferenzbeitrag 12-May-2019
Maly Jan - 2020 - Ranking Sets of Objects - How to Deal with Impossibility...pdf.jpgMaly, Jan Ranking sets of objects : how to deal with impossibility resultsThesis Hochschulschrift 2020
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
Diller Martin - 2014 - Solving reasoning problems on abstract dialectical...pdf.jpgDiller, Martin Solving reasoning problems on abstract dialectical frameworks via quantified boolean formulasThesis Hochschulschrift 2014
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