Interessen

• Algorithmen
• Branch and Bound
• Max-SAT (Max-SAT evaluation)
• Programmierwettbewerbe (erstellte Aufgaben)

Lehre

• Übungen zu Algorithmen und Datenstrukturen (WS 2012/2013)
• Proseminar Algorithmen (WS 2012/2013)
• Übungen zu Praktische Informatik (SS 2012)
• Übungen zu Berechenbarkeit und Komplexität (SS 2012)
• Übungen zu Algorithmen und Datenstrukturen (WS 2011/2012)
• Übungen zu Algorithmen der Bioinformatik (WS 2011/2012)
• Proseminar Algorithmen (WS 2011/2012)
• Proseminar Algorithmen (SS 2011)
• Übungen zu Algorithmen der Bioinformatik (SS 2011)
• Tutorium Algorithmen und Datenstrukturen (WS 2008/2009)
• Tutorium Algorithmen I (SS 2008)

Software

• Max-SAT solver akmaxsat

Publikationen

• Adrian Kügel
  Average Case Complexity of Branch-and-Bound Algorithms on Random b-ary Trees, CTW2012, Beweise
  
• Adrian Kügel
  Natural Max-SAT Encoding of Min-SAT, LION 6 (2012), Preprint
  
• Enno Ohlebusch, Simon Gog, Adrian Kügel
  Computing Matching Statistics and Maximal Exact Matches on Compressed Full-Text Indexes, SPIRE 2010, Slides
  
• Adrian Kügel
  Improved Exact Solver for the Weighted Max-SAT Problem. Angenommen beim PoS10 workshop. Erscheint in easychair electronic proceedings; Preprint
• Adrian Kügel, Enno Ohlebusch
  A Space Efficient Solution to the Frequent String Mining Problem for Many Databases. Data Mining and Knowledge Discovery Journal, Volume 17(1), pages 24–38. ECML PKDD 2008; Preprint; Implementation of the algorithm; pseudo code