Loading [MathJax]/extensions/tex2jax.js

Theory and Practice of Logic Programming

1 - 2 von 2Seitengröße: 20
Reihenfolge:

Publikationen

  1. 2014

  2. Extern

    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

  3. Extern

    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