Showing results 85 - 97 out of 97
2016
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. 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
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
Lindauer, M. T. (2014). Algorithm Selection, Scheduling and Configuration of Boolean Constraint Solvers. [Doctoral thesis, University of Potsdam]. https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-71260
