Forschungsbereich Algorithms and Complexity

Organization Name (de) Name der Organisation (de)
E192-01 - Forschungsbereich Algorithms and Complexity
 
Code Kennzahl
E192-01
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 


Results 441-460 of 779 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
441Szeider, Stefan Capturing Structure in SAT and Related ProblemsPräsentation Presentation2016
442Bacher, Christopher ; Raidl, Günther Integrating Algebraic Dynamic Programming in Combinatorial OptimizationPräsentation Presentation2016
443Bacher, Christopher ; Raidl, Günther Cyclic Giant Tour Decoding for the EVRPTWPräsentation Presentation2016
444Klocker, Benedikt ; Raidl, Günther Heuristic Approaches for Finding Uniquely Hamiltonian Graphs of Minimum Degree Three with Small Crossing NumbersPräsentation Presentation2016
445Ganian, Robert ; Kalany, Martin ; Szeider, Stefan ; Träff, Jesper Larsson Polynomial-Time Construction of Optimal MPI Derived Datatype TreesKonferenzbeitrag Inproceedings 2016
446Ganian, Robert ; Ramanujan, M. Sridharan ; Szeider, Stefan Discovering Archipelagos of Tractability for Constraint Satisfaction and CountingKonferenzbeitrag Inproceedings2016
447Fichte, Johannes ; Szeider, Stefan Backdoor Trees for Answer Set ProgrammingBericht Report2016
448Gemsa, Andreas ; Nöllenburg, Martin ; Rutter, Ignaz Evaluation of Labeling Strategies for Rotating MapsArtikel Article2016
449Prischink, Michael ; Kloimüllner, Christian ; Biesinger, Benjamin ; Raidl, Günther R. Districting and Routing for Security ControlKonferenzbeitrag Inproceedings 2016
450Biesinger, Benjamin ; Hu, Bin ; Raidl, Günther An Integer L-shaped Method for the Generalized Vehicle Routing Problem with Stochastic DemandsKonferenzbeitrag Inproceedings 2016
451Löffler, Maarten ; Nöllenburg, Martin ; Staals, Frank Mixed map labelingArtikel Article2016
452Bova, Simone Maria SDDs Are Exponentially More Succinct than OBDDsKonferenzbeitrag Inproceedings 2016
453Ganian, Robert ; Narayanaswamy, N. S. ; Ordyniak, Sebastian ; Rahul, C. S. ; Ramanujan, M. Sridharan On the Complexity Landscape of Connected f-Factor Problems*Konferenzbeitrag Inproceedings 2016
454Ganian, Robert ; Ordyniak, Sebastian The Complexity Landscape of Decompositional Parameters for ILPKonferenzbeitrag Inproceedings 2016
455Eiben, Eduard ; Ganian, Robert ; Ordyniak, Sebastian Using Decomposition-Parameters for QBF: Mind the Prefix!Konferenzbeitrag Inproceedings 2016
456Kerren, Andreas ; Cernea, Daniel ; Pohl, Margit Proceedings of EmoVis 2016, ACM IUI 2016 Workshop on Emotion and Visualization, Sonoma, CA, USA, March 10, 2016Konferenzband Proceedings 2016
457Blum, Christian ; Raidl, Günther Hybrid MetaheuristicsBuch Book2016
458Bova, Simone Maria ; Capelli, Florent ; Mengel, Stefan ; Slivovsky, Friedrich Knowledge Compilation Meets Communication ComplexityKonferenzbeitrag Inproceedings 2016
459Endriss, Ulle ; Grandi, Umberto ; de Haan, Ronald ; Lang, Jérôme Succinctness of Languages for Judgment AggregationKonferenzbeitrag Inproceedings2016
460de Haan, Ronald ; Szeider, Stefan Parameterized Complexity Results for Symbolic Model Checking of Temporal LogicsKonferenzbeitrag Inproceedings2016