Loading [MathJax]/extensions/tex2jax.js

Theory and Practice of Logic Programming

1 - 2 out of 2Page size: 20
Order:

Publications

  1. 2014

  2. External

    claspfolio 2: Advances in Algorithm Selection for Answer Set Programming

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

    Research output: Contribution to journal › Article › Research › peer review

  3. External

    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, p. 117-142 26 p.

    Research output: Contribution to journal › Article › Research › peer review