Uni-Logo
Also see my Google scholar and DBLP profile.

2017

  • Lindauer, M. and Hutter, F. (arXiv)(bib)
    Warmstarting of Model-based Algorithm Configuration
    In: arXiv [cs.AI] 1709.04636v1 (2017): 1-7
  • Lindauer, M. and Hoos, H. and Hutter, F. and Schaub, T. (pdf)(bib)
    AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)
    In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'17)
  • Wagner, M. and Friedrich, T. and Lindauer, M. (pdf)(bib)
    Improving local search in a minimum vertex cover solver for classes of networks
    In: Proceedings of the IEEE Congress on Evolutionary Computation (CEC)
  • Wagner, M. and Lindauer, M. and Misir, M. and Nallaperuma, S. and Hutter, F. (published)(pdf)(bib)
    A case study of algorithm selection for the traveling thief problem
    In: Journal of Heuristics (2017): 1-26
  • Lindauer, M. and Hoos, H. and Leyton-Brown, K. and Schaub, T. (published)(pdf)(bib)
    Automatic Construction of Parallel Portfolios via Algorithm Configuration
    In: Artificial Intelligence Journal (AIJ) 244 (2017): 272-290
  • Biedenkapp, A. and Lindauer, M. and Eggensperger, K. and Fawcett, C. and Hoos, H. and Hutter, F. (pdf)(bib)
    Efficient Parameter Importance Analysis via Ablation with Surrogates
    In: Proceedings of the AAAI conference
  • Lindauer, M. and Hutter, F. (published)(bib)
    Pitfalls and Best Practices for Algorithm Configuration (Breakout Session Report)
    In: Dagstuhl Reports 6 (2017): 70-72
  • Lindauer, M. and Kotthoff, L. (published)(bib)
    What can we learn from algorithm selection data? (Breakout Session Report)
    In: Dagstuhl Reports 6 (2017): 64-65
  • Hutter, F. and Lindauer, M. and Balint, A. and Bayless, S. and Hoos, H. and Leyton-Brown, K. (arXiv)(published)(bib)
    The Configurable SAT Solver Challenge (CSSC)
    In: Artificial Intelligence Journal (AIJ) 243 (2017): 1-25
  • Eggensperger, K. and Lindauer, M. and Hoos, H. and Hutter, F. and Leyton{-}Brown, K (arXiv)(bib)
    Efficient Benchmarking of Algorithm Configuration Procedures via Model-Based Surrogates
    In: arXiv [cs.AI] 1703.10342v1 (2017): 1-27
  • Eggensperger, K. and Lindauer, M. and Hutter, F. (arXiv)(bib)
    Pitfalls and Best Practices in Algorithm Configuration
    In: arXiv [cs.AI] 1705.06058 (2017): 1-23
  • Lindauer, M. and Hoos, H. and Hutter, F. and Leyton-Brown, K. (bib)
    Selection and Configuration of Parallel Portfolios
    In: Handbook of Parallel Constraint Reasoning
    To appear

2016

  • Bischl, B. and Kerschke, P. and Kotthoff, L. and Lindauer, M. and Malitsky, Y. and Frechétte, A. and Hoos, H. and Hutter, F. and Leyton-Brown, K. and Tierney, K. and Vanschoren, J. (arXiv)(published)(bib)
    ASlib: A Benchmark Library for Algorithm Selection
    In: Artificial Intelligence Journal (AIJ) 237 (2016): 41-58
  • Manthey, N. and Lindauer, M. (pdf)(bib)
    SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers
    In: Proceedings of the International Conference on Satisfiability Solving (SAT'16)
  • Marius Lindauer, Rolf-David Bergdoll and Hutter, Frank (pdf)(bib)
    An Empirical Study of Per-Instance Algorithm Scheduling
    In: Proceedings of the International Conference on Learning and Intelligent Optimization (LION'16)

2015

  • Falkner, S. and Lindauer, M. and Hutter, F. (pdf)(bib)
    SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers
    In: Proceedings of the International Conference on Satisfiability Solving (SAT'15)
  • Lindauer, M. and Hoos, H. and Hutter, F. and Schaub, T. (pdf)(bib)
    AutoFolio: An automatically configured Algorithm Selector
    In: Journal of Artificial Intelligence 53 (2015): 745-778
  • Marius Lindauer and Holger H. Hoos and Frank Hutter and Torsten Schaub (pdf)(bib)
    AutoFolio: Algorithm Configuration for Algorithm Selection
    In: Proceedings of the Twenty-Ninth AAAI Workshops on Artificial Intelligence
  • Marius Lindauer and Holger H. Hoos and and Frank Hutter (pdf)(bib)
    From Sequential Algorithm Selection to Parallel Portfolio Selection
    In: Proceedings of the International Conference on Learning and Intelligent Optimization (LION'15)
  • Hoos, H. and Kaminski, R. and Lindauer, M. and Schaub, T. (pdf)(bib)
    aspeed: Solver Scheduling via Answer Set Programming
    In: Theory and Practice of Logic Programming 15 (2015): 117-142

2014

  • Frank Hutter, Manuel López-Ibáñez, Chris Fawcett, Marius Lindauer, Holger Hoos, Kevin Leyton-Brown and Thomas Stützle (pdf)(slides)(bib)
    AClib: a Benchmark Library for Algorithm Configuration
    In: Proceedings of the Learning and Intelligent OptimizatioN Conference (LION 8)
  • Marius Lindauer (pdf)(bib)
    Algorithm Selection, Scheduling and Configuration of Boolean Constraint Solvers
    PhD thesis, University of Potsdam,
    Preliminary Version
  • Hoos, H. and Lindauer, M. and Schaub, T. (pdf)(bib)
    claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
    In: Theory and Practice of Logic Programming 14 (2014): 569-585

2013

  • Gebser, M. and Jost, H. and Kaminski, R. and Obermeier, P. and Sabuncu, O. and Schaub, T. and Schneider, M. (pdf)(bib)
    Ricochet Robots: A transverse ASP benchmark
    In: Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13)
  • Hoos, H. and Kaufmann, B. and Schaub, T. and Schneider, M. (pdf)(bib)
    Robust Benchmark Set Selection for Boolean Constraint Solvers
    In: Proceedings of the Seventh International Conference on Learning and Intelligent Optimization (LION'13)

2012

  • Silverthorn, B. and Lierler, Y. and Schneider, M. (pdf)(bib)
    Surviving Solver Sensitivity: An ASP Practitioner's Guide
    In: Technical Communications of the Twenty-eighth International Conference on Logic Programming (ICLP'12)
  • Hoos, H. and Leyton-Brown, K. and Schaub, T. and Schneider, M. (pdf)(bib)
    Algorithm Configuration for Portfolio-based Parallel SAT-Solving
    In: Proceedings of the First Workshop on Combining Constraint Solving with Mining and Learning (CoCoMile'12)
  • Schneider, M. and Hoos, H. (pdf)(bib)
    Quantifying Homogeneity of Instance Sets for Algorithm Configuration
    In: Proceedings of the Sixth International Conference on Learning and Intelligent Optimization (LION'12)
  • Hoos, H. and Kaminski, R. and Schaub, T. and Schneider, M. (pdf)(bib)
    aspeed: ASP-based Solver Scheduling
    In: Technical Communications of the Twenty-eighth International Conference on Logic Programming (ICLP'12)
  • Kaufmann, B. and Schaub, T. and Schneider, M. (pdf)(bib)
    clasp, claspfolio, aspeed: Three Solvers from the Answer Set Solving Collection Potassco
    In: Proceedings of SAT Challenge 2012: Solver and Benchmark Descriptions

2011

  • Gebser, M. and Kaminski, R. and Kaufmann, B. and Schaub, T. and Schneider, M. and Ziller, S. (pdf)(bib)
    A Portfolio Solver for Answer Set Programming: Preliminary Report
    In: Proceedings of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11)
  • Möller, M. and Schneider, M. and Wegner, M. and Schaub, T. (pdf)(bib)
    Centurio, a General Game Player: Parallel, Java- and ASP-based
    In: Künstliche Intelligenz 25.1 (2011): 17-24
  • Gebser, M. and Kaminski, R. and Kaufmann, B. and Ostrowski, M. and Schaub, T. and Schneider, M. (pdf)(bib)
    Potassco: The Potsdam Answer Set Solving Collection
    In: AI Communications 24.2 (2011): 107-124