SPP 1307:  Algorithm Engineering

• Fachliche Zuordnung: Informatik, System- und Elektrotechnik
• Förderung: Förderung von 2007 bis 2016
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 29058954

• Erstellungsjahr: 2015

Zusammenfassung der Projektergebnisse

Keine Zusammenfassung vorhanden

Projektbezogene Publikationen (Auswahl)

• A new diffusion-based multilevel algorithm for computing graph partitions of very high quality. Proceedings of the 2008 IEEE International Symposium on Parallel and Distributed Processing (IPDPS). IEEE Computer Society, 2008.
  Henning Meyerhenke, Burkhard Monien, Thomas Sauerwald
  (Siehe online unter https://dx.doi.org/10.1109/IPDPS.2008.4536237)
• Interactive exploration of chemical space with scaffold hunter. Nature Chemical Biology, Vol. 5. 2009, pp. 581–583.
  Stefan Wetzel, Karsten Klein, Steffen Renner, Daniel Rauh, Tudor I. Oprea, Petra Mutzel, Herbert Waldmann
  (Siehe online unter https://doi.org/10.1038/nchembio.187)
• An experimental study of new and known online packet buffering algorithms. Algorithmica, Vol. 57. 2010, Issue 4, pp. 725–746.
  Susanne Albers, Tobias Jacobs
  (Siehe online unter https://doi.org/10.1007/s00453-008-9230-y)
• Clustering for metric and nonmetric distance measures. ACM Transactions on Algorithms, Vol. 6. 2010, No. 4, 59.
  Marcel R. Ackermann, Johannes Blömer, Christian Sohler
  (Siehe online unter https://doi.org/10.1145/1824777.1824779)
• Submodular Formulations for Range Assignment Problems. International Symposium on Combinatorial Optimization (ISCO). Electronic Notes in Discrete Mathematics, Vol. 36. 2010, pp. 239-246.
  Frank Baumann, Christoph Buchheim
  (Siehe online unter https://doi.org/10.1016/j.endm.2010.05.031)
• Beyond unit propagation in SAT solving. In: P. M. Pardalos, S. Rebennack (Eds.), Experimental Algorithms: 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings, (Lecture Notes in Computer Science, vol. 6630), Springer, 2011, pp. 267–279.
  Michael Kaufmann, Stephan Kottler
  (Siehe online unter https://doi.org/10.1007/978-3-642-20662-7_23)
• Energy-efficient sorting using solid state disks. Sustainable Computing: Sustainable Computing: Informatics and Systems, Vol. 1. 2011, Issue 2: Special Issue on Selected Papers from the 2010 Green Computing Conference, pp. 151-163.
  Andreas Beckmann, Ulrich Meyer, Peter Sanders, Johannes Singler
  (Siehe online unter https://doi.org/10.1016/j.suscom.2011.02.004)
• How to apply sat-solving for the equivalence test of monotone normal forms. In: Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings. (Lecture Notes in Computer Science, 6695), 2011, pp. 105–119.
  Martin Mundhenk, Robert Zeranski
  (Siehe online unter https://doi.org/10.1007/978-3-642-21581-0_10)
• Integrated sequencing and scheduling in coil coating. Management Science, Vol. 57.2011, Issue 4, pp. 647–666.
  Wiebke Höhn, Felix G. König, Marco E. Lübbecke, Rolf H. Möhring
  (Siehe online unter https://doi.org/10.1287/mnsc.1100.1302)
• Broccoli: Semantic full-text search at your fingertips. CoRR, abs/1207.2615, 2012.
  Hannah Bast, Florian Bäurle, Björn Buchhold, Elmar Haussmann
  
• Certifying feasibility and objective value of linear programs. Operations Research Letters, Vol. 40. 2012, Issue 4, pp. 292-297.
  Ernst Althaus, Daniel Dumitriu
  (Siehe online unter https://doi.org/10.1016/j.orl.2012.03.004)
• Shape matching by random sampling. Theoretical Computer Science, Vol. 442. 2012, pp. 2-12.
  Helmut Alt, Ludmila Scharf
  (Siehe online unter https://doi.org/10.1016/j.tcs.2010.03.023)
• Dynamic Graph Clustering Combining Modularity and Smoothness. ACM Journal of Experimental Algorithmics, Vol. 18. 2013, Issue 1, pp 1.1–1.29.
  Robert Görke, Pascal Maillard, Andrea Schumm, Christian Staudt, Dorothea Wagner
  (Siehe online unter https://doi.org/10.1145/2444016.2444021)
• Spherical visibility sampling. (In 24th Eurographics Symposium on Rendering). Computer Graphics Forum, Vol. 32. 2013, Issue 4, pp. 49-58.
  Benjamin Eikel, Claudius Jähn, Matthias Fischer, Friedhelm Meyer auf der Heide
  (Siehe online unter https://doi.org/10.1111/cgf.12150)
• The Satisfiability Problem: Algorithms and Analyses. (Mathematik für Anwendungen, Band 3), Lehmanns Media, 2013, 184 S., ISBN 978-3-86541-527-1.
  Jacobo Toran, Uwe Schöning
  
• Randomized rounding in the presence of a cardinality constraint. ACM Journal of Experimental Algorithmics, Vol. 19.2014.
  Benjamin Doerr, Magnus Wahlström
  (Siehe online unter https://doi.org/10.1145/2594409)
• The price of strict and light robustness in timetable information. Transportation Science, Vol. 48. 2014, No. 2, pp. 225–242.
  M. Goerigk, M. Schmidt, A. Schöbel, M. Knoth, M. Müller-Hannemann
  (Siehe online unter https://doi.org/10.1287/trsc.2013.0470)
• Automatic Dantzig-Wolfe reformulation of mixed integer programs. Mathematical Programming, Vol. 149. 2015, Issue 1-2, pp. 391–424.
  M. Bergner, A. Caprara, A. Ceselli, F. Furini, M.E. Lübbecke, E. Malaguti, E. Traversi
  (Siehe online unter https://doi.org/10.1007/s10107-014-0761-5)
• Facets for art gallery problems. Algorithmica, Vol. 73. 2015, pp. 411–440.
  Sándor P. Fekete, Stephan Friedrichs, Alexander Kröller, Christiane Schmidt
  (Siehe online unter https://doi.org/10.1007/s00453-014-9961-x)
• The robust knapsack problem with queries. Computers & Operations Research, Vol. 55. 2015, pp. 12-22.
  M. Goerigk, M. Gupta, J. Ide, A. Schöbel, S. Sen
  (Siehe online unter https://doi.org/10.1016/j.cor.2014.09.010)