Adrian Kügel

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Propositional Satisfiability

Unit Propagation

Top Venues

Publications

Adrian Kügel
Average Case Complexity of Branch-and-Bound Algorithms on Random b-ary Trees. CTW (2012)
Adrian Kügel
Natural Max-SAT Encoding of Min-SAT. LION (2012)
Enno Ohlebusch, Simon Gog, Adrian Kügel
Computing Matching Statistics and Maximal Exact Matches on Compressed Full-Text Indexes. SPIRE (2010)
Adrian Kügel
Improved Exact Solver for the Weighted MAX-SAT Problem. POS@SAT (2010)
Adrian Kügel, Enno Ohlebusch
A Space Efficient Solution to the Frequent String Mining Problem for Many Databases. ECML/PKDD (1) (2008)
Adrian Kügel, Enno Ohlebusch
A space efficient solution to the frequent string mining problem for many databases. Data Min. Knowl. Discov. 17 (1) (2008)