Profile information

Prof. Dr.  Marius Thomas Lindauer

https://orcid.org/0000-0002-9675-3175
View graph of relations
121 - 131 out of 131Page size: 20

Publications

  1. 2014

  2. AClib: A Benchmark Library for Algorithm Configuration

    Hutter, F., López-Ibáñez, M., Fawcett, C., Lindauer, M., Hoos, H. H., Leyton-Brown, K. & Stützle, T., 1 Aug 2014, Learning and Intelligent Optimization. Springer Verlag, p. 36-40 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8426 LNCS).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  3. claspfolio 2: Advances in Algorithm Selection for Answer Set Programming

    Hoos, H., Lindauer, M. & Schaub, T., 21 Jul 2014, In: Theory and Practice of Logic Programming. 14, 4-5, p. 569-585 17 p.

    Research output: Contribution to journal › Article › Research › peer review

  4. aspeed: Solver scheduling via answer set programming

    Hoos, H., Kaminski, R., Lindauer, M. & Schaub, T., 17 Feb 2014, In: Theory and Practice of Logic Programming. 15, 1, p. 117-142 26 p.

    Research output: Contribution to journal › Article › Research › peer review

  5. Published

    Solver Scheduling via Answer Set Programming.

    Hoos, H. H., Kaminski, R., Lindauer, M. & Schaub, T., 2014, In: Computing Research Repository (CoRR). abs/1401.1024

    Research output: Contribution to journal › Article › Research › peer review

  6. 2013
  7. Published

    Ricochet Robots: A Transverse ASP Benchmark.

    Gebser, M., Jost, H., Kaminski, R., Obermeier, P., Sabuncu, O., Schaub, T. & Schneider, M., 2013, LPNMR. p. 348-360 13 p.

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  8. Published

    Robust Benchmark Set Selection for Boolean Constraint Solvers.

    Hoos, H. H., Kaufmann, B., Schaub, T. & Schneider, M., 2013, LION. p. 138-152 15 p.

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  9. 2012
  10. Published

    aspeed: ASP-based Solver Scheduling.

    Hoos, H. H., Kaminski, R., Schaub, T. & Schneider, M., 2012, ICLP (Technical Communications). p. 176-187 12 p.

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  11. Published

    Quantifying Homogeneity of Instance Sets for Algorithm Configuration.

    Schneider, M. & Hoos, H. H., 2012, LION. p. 190-204 15 p.

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  12. Published

    Surviving Solver Sensitivity: An ASP Practitioner's Guide.

    Silverthorn, B., Lierler, Y. & Schneider, M., 2012, ICLP (Technical Communications). p. 164-175 12 p.

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  13. 2011
  14. Published

    Centurio, a General Game Player: Parallel, Java- and ASP-based.

    Möller, M., Schneider, M., Wegner, M. & Schaub, T., 2011, In: Künstliche Intell.. 25, 1, p. 17-24 8 p., 1.

    Research output: Contribution to journal › Article › Research › peer review

  15. Published

    Potassco: The Potsdam Answer Set Solving Collection.

    Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T. & Schneider, M., 2011, In: AI Commun.. 24, 2, p. 107-124 18 p., 2.

    Research output: Contribution to journal › Article › Research › peer review

Previous 1...3 4 5 6 7 Next