Dipl.-Inf. Adrian Kügel

Interests

• Algorithms
• Branch and Bound
• Max-SAT (Max-SAT evaluation)
• programming contests (link to problems I have posed)

Teaching

• Übung Praktische Informatik (SS 2012)
• Übung Berechenbarkeit und Komplexität
• Übung Algorithmen und Datenstrukturen (WS 2011/2012)
• Übung Algorithmen der Bioinformatik (WS 2011/2012)
• Proseminar Algorithms (WS 2011/2012)
• Übung Algorithmen der Bioinformatik (SS 2011)
• Proseminar Algorithmen (SS 2011)
• Tutor Algorithmen und Datenstrukturen (WS 2008/2009)
• Tutor Algorithmen I (SS 2008)

Software

• Max-SAT solver akmaxsat

Publications

• Adrian Kügel
  Average Case Complexity of Branch-and-Bound Algorithms on Random b-ary Trees, submitted to CTW2012, Proofs
  
• 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. Accepted at the PoS10 workshop. To appear 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