Profilinformationen

Prof. Dr.  Marius Thomas Lindauer

https://orcid.org/0000-0002-9675-3175
Forschungs-netzwerk anzeigen
121 - 131 von 131Seitengröße: 20

Publikationen

  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, S. 36-40 5 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8426 LNCS).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

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

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

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › 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, S. 117-142 26 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  5. Veröffentlicht

    Solver Scheduling via Answer Set Programming.

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

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  6. 2013
  7. Veröffentlicht

    Ricochet Robots: A Transverse ASP Benchmark.

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

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  8. Veröffentlicht

    Robust Benchmark Set Selection for Boolean Constraint Solvers.

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

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  9. 2012
  10. Veröffentlicht

    aspeed: ASP-based Solver Scheduling.

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

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  11. Veröffentlicht

    Quantifying Homogeneity of Instance Sets for Algorithm Configuration.

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

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  12. Veröffentlicht

    Surviving Solver Sensitivity: An ASP Practitioner's Guide.

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

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  13. 2011
  14. Veröffentlicht

    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, S. 17-24 8 S., 1.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  15. Veröffentlicht

    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, S. 107-124 18 S., 2.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

Vorherige 1...3 4 5 6 7 Nächste