Showing results 85 - 108 out of 108
2017
Lindauer, M. T., van Rijn, J. N., & Kotthoff, L. (2017). Open Algorithm Selection Challenge 2017 Setup and Scenarios. http://proceedings.mlr.press/v79/lindauer17a/lindauer17a.pdf
Wagner, M., Friedrich, T., & Lindauer, M. (2017). Improving local search in a minimum vertex cover solver for classes of networks. In 2017 IEEE Congress on Evolutionary Computation (CEC): Proceedings (pp. 1704-1711). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/cec.2017.7969507
2016
Bischl, B., Kerschke, P., Kotthoff, L., Lindauer, M., Malitsky, Y., Fréchette, A., Hoos, H., Hutter, F., Leyton-Brown, K., Tierney, K., & Vanschoren, J. (2016). ASlib: A benchmark library for algorithm selection. Artificial intelligence, 237, 41-58. Advance online publication. https://doi.org/10.1016/j.artint.2016.04.003
Lindauer, M., Bergdoll, R. D., & Hutter, F. (2016). An Empirical Study of Per-instance Algorithm Scheduling. In P. Festa, M. Sellmann, & J. Vanschoren (Eds.), Learning and Intelligent Optimization (pp. 253-259). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10079 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-50349-3_20
Lindauer, M., Hoos, H., Leyton-Brown, K., & Schaub, T. (2016). Automatic construction of parallel portfolios via algorithm configuration. Artificial intelligence, 244, 272-290. https://doi.org/10.1016/j.artint.2016.05.004
Manthey, N., & Lindauer, M. (2016). SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers. In D. Le Berre, & N. Creignou (Eds.), Theory and Applications of Satisfiability Testing – SAT 2016 (pp. 554-561). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9710). Springer Verlag. https://doi.org/10.1007/978-3-319-40970-2_36
2015
Albrecht, S. V., Beck, J. C., Buckeridge, D. L., Botea, A., Caragea, C., Chi, C. H., Damoulas, T., Dilkina, B., Eaton, E., Fazli, P., Ganzfried, S., Giles, C. L., Guillet, S., Holte, R., Hutter, F., Koch, T., Leonetti, M., Lindauer, M., Machado, M. C., ... Zheng, Y. (2015). Reports on the 2015 AAAI Workshop Series. AI magazine, 36(2), 90-101. https://doi.org/10.1609/aimag.v36i2.2590
Falkner, S., Lindauer, M., & Hutter, F. (2015). SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers. In M. Heule, & S. Weaver (Eds.), Theory and Applications of Satisfiability Testing – SAT 2015 (pp. 215-222). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9340). Springer Verlag. https://doi.org/10.1007/978-3-319-24318-4_16
Hutter, F., Lindauer, M., & Malitsky, Y. (2015). Preface. In Algorithm configuration: papers presented at the Twenty-Ninth AAAI Conference on Artificial Intelligence (pp. vii). (AAAI Workshop - Technical Report).
Lindauer, M., Hoos, H. H., Schaub, T., & Hutter, F. (2015). Auto folio: Algorithm configuration for algorithm selection. In Algorithm Configuration: papers presented at the Twenty-Ninth AAAI Conference on Artificial Intelligence (pp. 9-15). (AAAI Workshop - Technical Report). AI Access Foundation.
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. 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 Intell., 25(1), 17-24. Article 1. https://doi.org/10.1007/s13218-010-0077-4
