SPP 1307:  Algorithm Engineering

• Subject Area: Computer Science, Systems and Electrical Engineering
• Term: from 2007 to 2016
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 29058954

• Final Report Year: 2015

Final Report Abstract

No abstract available

Publications

• 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at https://doi.org/10.1016/j.cor.2014.09.010)