Woltran, Stefan

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Woltran, Stefan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Filter:
Subject:  Dynamic Programming

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes ; Hecher, Markus ; Woltran, Stefan ; Zisser, Markus Weighted Model Counting on the GPU by Exploiting Small TreewidthKonferenzbeitrag Inproceedings 2018

Contributing Publications Mitbeteiligte Publikationen

Filter:
Subject:  Dynamic Programming

Results 1-6 of 6 (Search time: 0.008 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hecher Markus - 2021 - Advanced Tools and Methods for Treewidth-Based Problem...pdf.jpgHecher, Markus Advanced Tools and Methods for Treewidth-Based Problem SolvingThesis Hochschulschrift 2021
2Schidler 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
3Zisser 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
4Ambroz Thomas - 2016 - Designing a system for experimental analysis and...pdf.jpgAmbroz, Thomas ; Jusits, Andreas Designing a system for experimental analysis and visualization of dynamic programming on tree decompositionsThesis Hochschulschrift 2016
5Moldovan 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
6Hecher 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