Publications
- 2015
- Published
AutoFolio: Algorithm Configuration for Algorithm Selection.
Lindauer, M., Hoos, H. H., Hutter, F. & Schaub, T., 2015, AAAI Workshop: Algorithm Configuration.Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
Preface
Hutter, F., Lindauer, M. & Malitsky, Y., 2015, Algorithm configuration: papers presented at the Twenty-Ninth AAAI Conference on Artificial Intelligence. p. vii (AAAI Workshop - Technical Report).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- 2014
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
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
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
- Published
Solver Scheduling via Answer Set Programming.
Hoos, H. H., Kaminski, R., Lindauer, M. & Schaub, T., 2014, In: Computing Research Repository (CoRR). abs/1401.1024Research output: Contribution to journal › Article › Research › peer review
- 2013
- 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
- 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
- 2012
- 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
- 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
- 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
- 2011
- Published
Centurio, a General Game Player: Parallel, Java- and ASP-based.
Möller, M., Schneider, M., Wegner, M. & Schaub, T., 2011, In: Künstliche Intelligenz : KI ; Forschung, Entwicklung, Erfahrungen (Online). 25, 1, p. 17-24 8 p., 1.Research output: Contribution to journal › Article › Research › peer review
- 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