Showing results 127 - 140 out of 140
2015
Lindauer, M., Hoos, H. H., Hutter, F., & Schaub, T. (2015). AutoFolio: Algorithm Configuration for Algorithm Selection. In AAAI Workshop: Algorithm Configuration https://dblp.org/db/conf/aaai/aconfig2015.html#LindauerHHS15
Lindauer, M. T., Hoos, H., Hutter, F., & Schaub, T. (2015). AutoFolio: An Automatically Configured Algorithm Selector. Journal of Artificial Intelligence Research, 53, 745-778. https://doi.org/10.1613/jair.4726
Lindauer, M., Hoos, H. H., & Hutter, F. (2015). From Sequential Algorithm Selection to Parallel Portfolio Selection. In C. Dhaenens, L. Jourdan, & M.-E. Marmion (Eds.), Learning and Intelligent Optimization (pp. 1-16). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8994). Springer Verlag. https://doi.org/10.1007/978-3-319-19084-6_1
2014
Hoos, H., Kaminski, R., Lindauer, M., & Schaub, T. (2014). aspeed: Solver scheduling via answer set programming. Theory and Practice of Logic Programming, 15(1), 117-142. https://doi.org/10.1017/s1471068414000015
Hoos, H., Lindauer, M., & Schaub, T. (2014). claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. Theory and Practice of Logic Programming, 14(4-5), 569-585. https://doi.org/10.1017/S1471068414000210
Hoos, H. H., Kaminski, R., Lindauer, M., & Schaub, T. (2014). Solver Scheduling via Answer Set Programming. Computing Research Repository (CoRR), abs/1401.1024. https://dblp.org/db/journals/corr/corr1401.html#HoosKLS14
Hutter, F., López-Ibáñez, M., Fawcett, C., Lindauer, M., Hoos, H. H., Leyton-Brown, K., & Stützle, T. (2014). AClib: A Benchmark Library for Algorithm Configuration. In Learning and Intelligent Optimization (pp. 36-40). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8426 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-09584-4_4
2013
Gebser, M., Jost, H., Kaminski, R., Obermeier, P., Sabuncu, O., Schaub, T., & Schneider, M. (2013). Ricochet Robots: A Transverse ASP Benchmark. In LPNMR (pp. 348-360) https://doi.org/10.1007/978-3-642-40564-8_35
Hoos, H. H., Kaufmann, B., Schaub, T., & Schneider, M. (2013). Robust Benchmark Set Selection for Boolean Constraint Solvers. In LION (pp. 138-152) https://doi.org/10.1007/978-3-642-44973-4_16
2012
Hoos, H. H., Kaminski, R., Schaub, T., & Schneider, M. (2012). aspeed: ASP-based Solver Scheduling. In ICLP (Technical Communications) (pp. 176-187) https://doi.org/10.4230/LIPIcs.ICLP.2012.176
Schneider, M., & Hoos, H. H. (2012). Quantifying Homogeneity of Instance Sets for Algorithm Configuration. In LION (pp. 190-204) https://doi.org/10.1007/978-3-642-34413-8_14
Silverthorn, B., Lierler, Y., & Schneider, M. (2012). Surviving Solver Sensitivity: An ASP Practitioner's Guide. In ICLP (Technical Communications) (pp. 164-175) https://doi.org/10.4230/LIPIcs.ICLP.2012.164
2011
Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., & Schneider, M. (2011). Potassco: The Potsdam Answer Set Solving Collection. AI Commun., 24(2), 107-124. Article 2. https://doi.org/10.3233/AIC-2011-0491
Möller, M., Schneider, M., Wegner, M., & Schaub, T. (2011). Centurio, a General Game Player: Parallel, Java- and ASP-based. Künstliche Intelligenz : KI ; Forschung, Entwicklung, Erfahrungen (Online), 25(1), 17-24. Article 1. https://doi.org/10.1007/s13218-010-0077-4
